SearchConfigToInfo_Compile

Class PartSet

java.lang.Object

SearchConfigToInfo_Compile.PartSet

public class PartSet
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
dafny.DafnySet<? extends dafny.DafnySequence<? extends java.lang.Character>>	_names
dafny.DafnySequence<? extends BeaconPart>	_parts
dafny.DafnySet<? extends dafny.DafnySequence<? extends java.lang.Character>>	_prefixes

Constructor Summary

Constructors

Constructor and Description
PartSet(dafny.DafnySequence<? extends BeaconPart> parts, dafny.DafnySet<? extends dafny.DafnySequence<? extends java.lang.Character>> names, dafny.DafnySet<? extends dafny.DafnySequence<? extends java.lang.Character>> prefixes)

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<PartSet>	_typeDescriptor()
Wrappers_Compile.Result<PartSet,Error>	add(BeaconPart part, dafny.DafnySequence<? extends java.lang.Character> name)
Wrappers_Compile.Result<PartSet,Error>	combine(PartSet other, dafny.DafnySequence<? extends java.lang.Character> name, dafny.DafnySequence<? extends java.lang.Character> otherName)
static PartSet	create_PartSet(dafny.DafnySequence<? extends BeaconPart> parts, dafny.DafnySet<? extends dafny.DafnySequence<? extends java.lang.Character>> names, dafny.DafnySet<? extends dafny.DafnySequence<? extends java.lang.Character>> prefixes)
static PartSet	create(dafny.DafnySequence<? extends BeaconPart> parts, dafny.DafnySet<? extends dafny.DafnySequence<? extends java.lang.Character>> names, dafny.DafnySet<? extends dafny.DafnySequence<? extends java.lang.Character>> prefixes)
static PartSet	Default()
dafny.DafnySet<? extends dafny.DafnySequence<? extends java.lang.Character>>	dtor_names()
dafny.DafnySequence<? extends BeaconPart>	dtor_parts()
dafny.DafnySet<? extends dafny.DafnySequence<? extends java.lang.Character>>	dtor_prefixes()
boolean	equals(java.lang.Object other)
dafny.DafnySequence<? extends java.lang.Character>	GetSetAsString(dafny.DafnySet<? extends dafny.DafnySequence<? extends java.lang.Character>> strings)
int	hashCode()
boolean	is_PartSet()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

_parts

public dafny.DafnySequence<? extends BeaconPart> _parts

_names

public dafny.DafnySet<? extends dafny.DafnySequence<? extends java.lang.Character>> _names

_prefixes

public dafny.DafnySet<? extends dafny.DafnySequence<? extends java.lang.Character>> _prefixes

Constructor Detail

PartSet

public PartSet(dafny.DafnySequence<? extends BeaconPart> parts,
               dafny.DafnySet<? extends dafny.DafnySequence<? extends java.lang.Character>> names,
               dafny.DafnySet<? extends dafny.DafnySequence<? extends java.lang.Character>> prefixes)

Method Detail

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

_typeDescriptor

public static dafny.TypeDescriptor<PartSet> _typeDescriptor()

Default

public static PartSet Default()

create

public static PartSet create(dafny.DafnySequence<? extends BeaconPart> parts,
                             dafny.DafnySet<? extends dafny.DafnySequence<? extends java.lang.Character>> names,
                             dafny.DafnySet<? extends dafny.DafnySequence<? extends java.lang.Character>> prefixes)

create_PartSet

public static PartSet create_PartSet(dafny.DafnySequence<? extends BeaconPart> parts,
                                     dafny.DafnySet<? extends dafny.DafnySequence<? extends java.lang.Character>> names,
                                     dafny.DafnySet<? extends dafny.DafnySequence<? extends java.lang.Character>> prefixes)

is_PartSet

public boolean is_PartSet()

dtor_parts

public dafny.DafnySequence<? extends BeaconPart> dtor_parts()

dtor_names

public dafny.DafnySet<? extends dafny.DafnySequence<? extends java.lang.Character>> dtor_names()

dtor_prefixes

public dafny.DafnySet<? extends dafny.DafnySequence<? extends java.lang.Character>> dtor_prefixes()

add

public Wrappers_Compile.Result<PartSet,Error> add(BeaconPart part,
                                                  dafny.DafnySequence<? extends java.lang.Character> name)

GetSetAsString

public dafny.DafnySequence<? extends java.lang.Character> GetSetAsString(dafny.DafnySet<? extends dafny.DafnySequence<? extends java.lang.Character>> strings)

combine

public Wrappers_Compile.Result<PartSet,Error> combine(PartSet other,
                                                      dafny.DafnySequence<? extends java.lang.Character> name,
                                                      dafny.DafnySequence<? extends java.lang.Character> otherName)