object
DistinctLemmas
Value Members
-
final
def
!=(arg0: AnyRef): Boolean
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: AnyRef): Boolean
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
def
cons_distinct_assoc[T](list: List[T], e: T): Boolean
-
def
delete_contains_distinct[T](list: List[T], e: T): Boolean
-
def
delete_distinct_assoc[T](list: List[T], e: T): Boolean
-
def
delete_neq_contains[T](list: List[T], x: T, y: T): Boolean
-
def
delete_neq_not_contains[T](list: List[T], x: T, y: T): Boolean
-
def
distinct_concat_assoc_perm[T](l1: List[T], l2: List[T], l3: List[T]): Boolean
-
def
distinct_concat_comm_perm[T](l1: List[T], l2: List[T]): Boolean
-
def
distinct_concat_perm_l[T](l1: List[T], l2: List[T]): Boolean
-
def
distinct_concat_perm_r[T](l1: List[T], l2: List[T]): Boolean
-
def
distinct_cons[T](l: List[T], e: T): Boolean
-
def
distinct_cons_not_contains[V](list: List[V], e: V): Boolean
-
def
distinct_contains[T](list: List[T], e: T): Boolean
-
def
distinct_delete[V](list: List[V], m: V): Boolean
-
def
distinct_delete_content[V](l1: List[V], l2: List[V], e: V): Boolean
-
def
distinct_delete_content0[V](list: List[V], e: V): Boolean
-
def
distinct_delete_content_lemma[V](l1: List[V], l2: List[V], e: V): Boolean
-
def
distinct_exclusive[V](l1: List[V], l2: List[V], m: V): Boolean
-
def
distinct_idempotent[T](l: List[T]): Boolean
-
def
distinct_is_distinct[T](list: List[T]): Boolean
-
def
distinct_not_contains[T](list: List[T], e: T): Boolean
-
def
distinct_perm[T](l1: List[T], l2: List[T]): Boolean
-
def
distinct_sublist[V](l1: List[V], l2: List[V]): Boolean
-
def
distinct_sublist_delete_l[V](l1: List[V], l2: List[V], m: V): Boolean
-
def
distinct_sublist_delete_r[V](l1: List[V], l2: List[V], m: V): Boolean
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
perm_delete_contains[T](l1: List[T], l2: List[T], e: T): Boolean
-
def
permutation_contains[T](l1: List[T], l2: List[T], e: T): Boolean
-
def
permutation_not_contains[T](l1: List[T], l2: List[T], e: T): Boolean
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Inherited from AnyRef
Inherited from Any
