dafny

Class DafnySet<T>

java.lang.Object

dafny.DafnySet<T>

public class DafnySet<T>
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
DafnySet()
DafnySet(java.util.Collection<T> c)
DafnySet(DafnySet<T> other)
DafnySet(java.util.List<T> l)
DafnySet(java.util.Set<T> s)

Method Summary

Modifier and Type	Method and Description
static <T> TypeDescriptor<DafnySet<? extends T>>	_typeDescriptor(TypeDescriptor<T> elementType)
boolean	add(T t)
boolean	addAll(DafnySet<T> other)
java.util.Collection<DafnySet<T>>	AllSubsets()
DafnyMultiset<T>	asDafnyMultiset()
int	cardinalityInt()
boolean	contains(java.lang.Object t)
boolean	containsAll(DafnySet other)
static <T> DafnySet<T>	difference(DafnySet<? extends T> th, DafnySet<? extends T> other)
<U> boolean	disjoint(DafnySet<? extends U> other)
java.util.Set<T>	Elements()
static <T> DafnySet<T>	empty()
boolean	equals(java.lang.Object obj)
int	hashCode()
static <T> DafnySet<T>	intersection(DafnySet<? extends T> th, DafnySet<? extends T> other)
boolean	isEmpty()
boolean	isProperSubsetOf(DafnySet other)
boolean	isSubsetOf(DafnySet other)
static <T> DafnySet<T>	of(T... elements)
boolean	remove(T t)
boolean	removeAll(DafnySet<T> other)
int	size()
java.lang.String	toString()
static <T> DafnySet<T>	union(DafnySet<? extends T> th, DafnySet<? extends T> other)

Methods inherited from class java.lang.Object

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

Constructor Detail

DafnySet

public DafnySet()

DafnySet

public DafnySet(java.util.Set<T> s)

DafnySet

public DafnySet(java.util.Collection<T> c)

DafnySet

public DafnySet(DafnySet<T> other)

DafnySet

public DafnySet(java.util.List<T> l)

Method Detail

of

@SafeVarargs
public static <T> DafnySet<T> of(T... elements)

empty

public static <T> DafnySet<T> empty()

_typeDescriptor

public static <T> TypeDescriptor<DafnySet<? extends T>> _typeDescriptor(TypeDescriptor<T> elementType)

isSubsetOf

public boolean isSubsetOf(DafnySet other)

isProperSubsetOf

public boolean isProperSubsetOf(DafnySet other)

contains

public boolean contains(java.lang.Object t)

disjoint

public <U> boolean disjoint(DafnySet<? extends U> other)

union

public static <T> DafnySet<T> union(DafnySet<? extends T> th,
                                    DafnySet<? extends T> other)

difference

public static <T> DafnySet<T> difference(DafnySet<? extends T> th,
                                         DafnySet<? extends T> other)

intersection

public static <T> DafnySet<T> intersection(DafnySet<? extends T> th,
                                           DafnySet<? extends T> other)

containsAll

public boolean containsAll(DafnySet other)

size

public int size()

cardinalityInt

public int cardinalityInt()

isEmpty

public boolean isEmpty()

add

public boolean add(T t)

remove

public boolean remove(T t)

removeAll

public boolean removeAll(DafnySet<T> other)

addAll

public boolean addAll(DafnySet<T> other)

AllSubsets

public java.util.Collection<DafnySet<T>> AllSubsets()

equals

public boolean equals(java.lang.Object obj)

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

asDafnyMultiset

public DafnyMultiset<T> asDafnyMultiset()

Elements

public java.util.Set<T> Elements()