Package dafny

Class DafnySet<T>

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

  • Constructor Details

    • DafnySet

      public DafnySet()

    • DafnySet

      public DafnySet(Set<T> s)

    • DafnySet

      public DafnySet(Collection<T> c)

    • DafnySet

      public DafnySet(DafnySet<T> other)

    • DafnySet

      public DafnySet(List<T> l)

  • Method Details

    • 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(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 Collection<DafnySet<T>> AllSubsets()

    • equals

      public boolean equals(Object obj)
      Overrides:
      equals in class Object

    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class Object

    • toString

      public String toString()
      Overrides:
      toString in class Object

    • asDafnyMultiset

      public DafnyMultiset<T> asDafnyMultiset()

    • Elements

      public Set<T> Elements()