SetAggregationProof

Value Members

1. final def !=(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

2. final def !=(arg0: Any): Boolean

   Definition Classes

   Any

3. final def ##(): Int

   Definition Classes

   AnyRef → Any

4. final def ==(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

5. final def ==(arg0: Any): Boolean

   Definition Classes

   Any

6. final def asInstanceOf[T0]: T0

   Definition Classes

   Any

7. def clone(): AnyRef

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

8. def comb(m1: (BigInt, List[BigInt]), m2: (BigInt, List[BigInt])): (BigInt, List[BigInt])

9. def comb_assoc_lemma(m1: (BigInt, List[BigInt]), m2: (BigInt, List[BigInt]), m3: (BigInt, List[BigInt])): Boolean

10. def comb_comm_lemma(m1: (BigInt, List[BigInt]), m2: (BigInt, List[BigInt])): Boolean

11. def corr[V](m1: (V, List[V]), m2: (V, List[V])): Boolean

12. final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

13. def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

14. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

15. final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

16. def hashCode(): Int

    Definition Classes

    AnyRef → Any

17. def insert_invariant[V](l1: List[V], l2: List[V], e: V): Boolean

18. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

19. def min(a: BigInt, b: BigInt): BigInt

20. final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

21. final def notify(): Unit

    Definition Classes

    AnyRef

22. final def notifyAll(): Unit

    Definition Classes

    AnyRef

23. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

24. def toString(): String

    Definition Classes

    AnyRef → Any

25. def union_assoc[V](l1: List[V], l2: List[V], l3: List[V]): Boolean

26. def union_comm[V](l1: List[V], l2: List[V]): Boolean

27. def union_identity[V](l: List[V]): Boolean

    Annotations

    @induct()

28. def union_invariant[T](x1: List[T], x2: List[T], y1: List[T], y2: List[T]): Boolean

29. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

30. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

31. final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )