PermutationLemmas

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. def append5_swap2_perm[T](a: List[T], b: List[T], c: List[T], d: List[T], e: List[T]): Boolean

7. final def asInstanceOf[T0]: T0

   Definition Classes

   Any

8. def clone(): AnyRef

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

9. def concat_permutation[V](ll: List[V], l1: List[V], l2: List[V]): Boolean

10. def cons_concat_perm1[T](l1: List[T], l2: List[T], e: T): Boolean

11. def cons_concat_perm2[T](l1: List[T], l2: List[T], e: T): Boolean

12. def cons_snoc_perm[V](l: List[V], e: V): Boolean

    Annotations

    @induct()

13. def delete_concat_perm1[T](l1: List[T], l2: List[T], e: T): Boolean

14. def delete_concat_perm2[T](l1: List[T], l2: List[T], e: T): Boolean

15. def delete_permutation[V](list: List[V], e: V): Boolean

    Annotations

    @induct()

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

    Definition Classes

    AnyRef

17. def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

18. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    Definition Classes

    AnyRef → Any

20. def hashCode(): Int

    Definition Classes

    AnyRef → Any

21. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

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

    Definition Classes

    AnyRef

23. final def notify(): Unit

    Definition Classes

    AnyRef

24. final def notifyAll(): Unit

    Definition Classes

    AnyRef

25. def permutation3[V](x: List[V], y: List[V], z: List[V]): Boolean

26. def permutation3_swap2[V](x: List[V], y: List[V], z: List[V]): Boolean

27. def permutation3_swap_noassoc[V](x: List[V], y: List[V], z: List[V]): Boolean

28. def permutation_append[V](l1: List[V], l2: List[V], ll: List[V]): Boolean

29. def permutation_car_swap[V](list: List[V], a: V, b: V): Boolean

    Annotations

    @induct()

30. def permutation_comm[V](l1: List[V], l2: List[V]): Boolean

31. def permutation_concat[V](l1: List[V], l2: List[V], t1: List[V], t2: List[V]): Boolean

32. def permutation_concat_assoc[V](l1: List[V], l2: List[V], l3: List[V]): Boolean

33. def permutation_concat_comm[V](l1: List[V], l2: List[V]): Boolean

34. def permutation_concat_move[T](l1: List[T], l2: List[T], e: T): Boolean

35. def permutation_cons[V](l1: List[V], l2: List[V], e: V): Boolean

36. def permutation_cons_delete[V](l: List[V], e: V): Boolean

37. def permutation_cons_tail[V](l1: List[V], l2: List[V], e: V): Boolean

38. def permutation_content[V](l1: List[V], l2: List[V]): Boolean

39. def permutation_delete[V](l1: List[V], l2: List[V], e: V): Boolean

40. def permutation_delete_cons[V](l1: List[V], h2: V, t2: List[V]): Boolean

41. def permutation_delete_cons[V](l1: List[V], l2: List[V]): Boolean

42. def permutation_eq[V](s: List[V], t: List[V]): Boolean

43. def permutation_prepend[V](ll: List[V], l1: List[V], l2: List[V]): Boolean

44. def permutation_refl[V](list: List[V]): Boolean

    Annotations

    @induct()

45. def permutation_replace[V](x: List[V], y: List[V], a: List[V], b: List[V]): Boolean

46. def permutation_tail_delete[V](l1: List[V], l2: List[V]): Boolean

47. def permutation_tran[V](l1: List[V], l2: List[V], l3: List[V]): Boolean

48. def permutation_tran_lemma2[V](l1: List[V], l2: List[V], l3: List[V], l4: List[V]): Boolean

49. def rotate_perm[V](l: List[V], n: BigInt): Boolean

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

    Definition Classes

    AnyRef

51. def toString(): String

    Definition Classes

    AnyRef → Any

52. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )