class EquivalenceClass extends ShapeIndexedSet[Term]
- Alphabetic
- By Inheritance
- EquivalenceClass
- ShapeIndexedSet
- ComplexHashSet
- Set
- SetLike
- Cloneable
- Cloneable
- Cloneable
- Shrinkable
- Builder
- Growable
- Clearable
- Scriptable
- Set
- SetLike
- Subtractable
- GenSet
- GenericSetTemplate
- GenSetLike
- Function1
- Iterable
- Iterable
- IterableLike
- Equals
- GenIterable
- GenIterableLike
- Traversable
- Mutable
- Traversable
- GenTraversable
- GenericTraversableTemplate
- TraversableLike
- GenTraversableLike
- Parallelizable
- TraversableOnce
- GenTraversableOnce
- FilterMonadic
- HasNewBuilder
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
-
type
Self = Set[Term]
- Attributes
- protected[this]
- Definition Classes
- TraversableLike
-
class
WithFilter extends FilterMonadic[A, Repr]
- Definition Classes
- TraversableLike
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
def
&(that: GenSet[Term]): Set[Term]
- Definition Classes
- GenSetLike
-
def
&~(that: GenSet[Term]): Set[Term]
- Definition Classes
- GenSetLike
-
def
+(elem1: Term, elem2: Term, elems: Term*): Set[Term]
- Definition Classes
- SetLike → SetLike
- Annotations
- @migration
- Migration
(Changed in version 2.8.0)
+
creates a new set. Use+=
to add an element to this set and return that set itself.
-
def
+(elem: Term): Set[Term]
- Definition Classes
- SetLike → SetLike → GenSetLike
- Annotations
- @migration
- Migration
(Changed in version 2.8.0)
+
creates a new set. Use+=
to add an element to this set and return that set itself.
-
def
++(xs: GenTraversableOnce[Term]): Set[Term]
- Definition Classes
- SetLike → SetLike
- Annotations
- @migration
- Migration
(Changed in version 2.8.0)
++
creates a new set. Use++=
to add elements to this set and return that set itself.
-
def
++[B >: Term, That](that: GenTraversableOnce[B])(implicit bf: CanBuildFrom[Set[Term], B, That]): That
- Definition Classes
- TraversableLike → GenTraversableLike
-
def
++:[B >: Term, That](that: Traversable[B])(implicit bf: CanBuildFrom[Set[Term], B, That]): That
- Definition Classes
- TraversableLike
-
def
++:[B >: Term, That](that: TraversableOnce[B])(implicit bf: CanBuildFrom[Set[Term], B, That]): That
- Definition Classes
- TraversableLike
-
def
++=(xs: TraversableOnce[Term]): EquivalenceClass.this.type
- Definition Classes
- Growable
-
def
+=(a: Term): EquivalenceClass.this.type
- Definition Classes
- ComplexHashSet → SetLike → Builder → Growable
-
def
+=(elem1: Term, elem2: Term, elems: Term*): EquivalenceClass.this.type
- Definition Classes
- Growable
-
def
-(elem1: Term, elem2: Term, elems: Term*): Set[Term]
- Definition Classes
- SetLike → Subtractable
- Annotations
- @migration
- Migration
(Changed in version 2.8.0)
-
creates a new set. Use-=
to remove an element from this set and return that set itself.
-
def
-(elem: Term): Set[Term]
- Definition Classes
- SetLike → SetLike → Subtractable → GenSetLike
- Annotations
- @migration
- Migration
(Changed in version 2.8.0)
-
creates a new set. Use-=
to remove an element from this set and return that set itself.
-
def
--(xs: GenTraversableOnce[Term]): Set[Term]
- Definition Classes
- SetLike → Subtractable
- Annotations
- @migration
- Migration
(Changed in version 2.8.0)
--
creates a new set. Use--=
to remove elements from this set and return that set itself.
-
def
--=(xs: TraversableOnce[Term]): EquivalenceClass.this.type
- Definition Classes
- Shrinkable
-
def
-=(a: Term): EquivalenceClass.this.type
- Definition Classes
- ComplexHashSet → SetLike → Shrinkable
-
def
-=(elem1: Term, elem2: Term, elems: Term*): EquivalenceClass.this.type
- Definition Classes
- Shrinkable
-
def
/:[B](z: B)(op: (B, Term) ⇒ B): B
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
:\[B](z: B)(op: (Term, B) ⇒ B): B
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
add(c: EquivalenceClass): Unit
merges another class into this one
-
def
add(elem: Term): Boolean
- Definition Classes
- SetLike
-
def
addString(b: StringBuilder): StringBuilder
- Definition Classes
- TraversableOnce
-
def
addString(b: StringBuilder, sep: String): StringBuilder
- Definition Classes
- TraversableOnce
-
def
addString(b: StringBuilder, start: String, sep: String, end: String): StringBuilder
- Definition Classes
- TraversableOnce
-
def
aggregate[B](z: ⇒ B)(seqop: (B, Term) ⇒ B, combop: (B, B) ⇒ B): B
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
andThen[A](g: (Boolean) ⇒ A): (Term) ⇒ A
- Definition Classes
- Function1
- Annotations
- @unspecialized()
-
def
apply(elem: Term): Boolean
- Definition Classes
- GenSetLike → Function1
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
below(that: EquivalenceClass): Boolean
true if this is below that
-
def
between(that: EquivalenceClass): List[EquivalenceClass]
all classes between this and that
-
def
canEqual(that: Any): Boolean
- Definition Classes
- IterableLike → Equals
-
def
clear(): Unit
- Definition Classes
- SetLike → Builder → Growable → Clearable
-
def
clone(): Set[Term]
- Definition Classes
- SetLike → Cloneable → AnyRef
-
def
collect[B, That](pf: PartialFunction[Term, B])(implicit bf: CanBuildFrom[Set[Term], B, That]): That
- Definition Classes
- TraversableLike → GenTraversableLike
-
def
collectFirst[B](pf: PartialFunction[Term, B]): Option[B]
- Definition Classes
- TraversableOnce
-
def
companion: GenericCompanion[Set]
- Definition Classes
- Set → Set → GenSet → Iterable → Iterable → GenIterable → Traversable → Traversable → GenTraversable → GenericTraversableTemplate
-
def
compose[A](g: (A) ⇒ Term): (A) ⇒ Boolean
- Definition Classes
- Function1
- Annotations
- @unspecialized()
-
def
contains(a: Term): Boolean
- Definition Classes
- ComplexHashSet → SetLike → GenSetLike
-
def
copyToArray[B >: Term](xs: Array[B], start: Int, len: Int): Unit
- Definition Classes
- IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
-
def
copyToArray[B >: Term](xs: Array[B]): Unit
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
copyToArray[B >: Term](xs: Array[B], start: Int): Unit
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
copyToBuffer[B >: Term](dest: Buffer[B]): Unit
- Definition Classes
- TraversableOnce
-
def
count(p: (Term) ⇒ Boolean): Int
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
diff(that: GenSet[Term]): Set[Term]
- Definition Classes
- SetLike → GenSetLike
-
def
disjointFrom(c: EquivalenceClass): Boolean
true if two classes must be disjoint
-
def
drop(n: Int): Set[Term]
- Definition Classes
- IterableLike → TraversableLike → GenTraversableLike
-
def
dropRight(n: Int): Set[Term]
- Definition Classes
- IterableLike
-
def
dropWhile(p: (Term) ⇒ Boolean): Set[Term]
- Definition Classes
- TraversableLike → GenTraversableLike
-
def
empty: ComplexHashSet[Shape, Term]
- Definition Classes
- ComplexHashSet → SetLike → GenericSetTemplate
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(that: Any): Boolean
- Definition Classes
- GenSetLike → Equals → AnyRef → Any
-
def
exists(p: (Term) ⇒ Boolean): Boolean
- Definition Classes
- IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
-
def
filter(p: (Term) ⇒ Boolean): Set[Term]
- Definition Classes
- TraversableLike → GenTraversableLike
-
def
filterNot(p: (Term) ⇒ Boolean): Set[Term]
- Definition Classes
- TraversableLike → GenTraversableLike
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
def
find(p: (Term) ⇒ Boolean): Option[Term]
- Definition Classes
- IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
-
def
flatMap[B, That](f: (Term) ⇒ GenTraversableOnce[B])(implicit bf: CanBuildFrom[Set[Term], B, That]): That
- Definition Classes
- TraversableLike → GenTraversableLike → FilterMonadic
-
def
flatten[B](implicit asTraversable: (Term) ⇒ GenTraversableOnce[B]): Set[B]
- Definition Classes
- GenericTraversableTemplate
-
def
fold[A1 >: Term](z: A1)(op: (A1, A1) ⇒ A1): A1
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
foldLeft[B](z: B)(op: (B, Term) ⇒ B): B
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
foldRight[B](z: B)(op: (Term, B) ⇒ B): B
- Definition Classes
- IterableLike → TraversableOnce → GenTraversableOnce
-
def
forall(p: (Term) ⇒ Boolean): Boolean
- Definition Classes
- IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
-
def
foreach[U](f: (Term) ⇒ U): Unit
- Definition Classes
- ComplexHashSet → IterableLike → GenericTraversableTemplate → TraversableLike → GenTraversableLike → TraversableOnce → GenTraversableOnce → FilterMonadic
-
def
genericBuilder[B]: Builder[B, Set[B]]
- Definition Classes
- GenericTraversableTemplate
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
groupBy[K](f: (Term) ⇒ K): Map[K, Set[Term]]
- Definition Classes
- TraversableLike → GenTraversableLike
-
def
grouped(size: Int): Iterator[Set[Term]]
- Definition Classes
- IterableLike
-
def
hasDefiniteSize: Boolean
- Definition Classes
- TraversableLike → TraversableOnce → GenTraversableOnce
-
def
hashCode(): Int
- Definition Classes
- GenSetLike → AnyRef → Any
-
def
head: Term
- Definition Classes
- IterableLike → TraversableLike → GenTraversableLike
-
def
headOption: Option[Term]
- Definition Classes
- TraversableLike → GenTraversableLike
-
def
init: Set[Term]
- Definition Classes
- TraversableLike → GenTraversableLike
-
def
inits: Iterator[Set[Term]]
- Definition Classes
- TraversableLike
-
def
intersect(that: GenSet[Term]): Set[Term]
- Definition Classes
- GenSetLike
-
def
isEmpty: Boolean
- Definition Classes
- SetLike → IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
final
def
isTraversableAgain: Boolean
- Definition Classes
- TraversableLike → GenTraversableLike → GenTraversableOnce
-
def
iterator: Iterator[Term]
- Definition Classes
- ComplexHashSet → GenSetLike → IterableLike → GenIterableLike
-
def
last: Term
- Definition Classes
- TraversableLike → GenTraversableLike
-
def
lastOption: Option[Term]
- Definition Classes
- TraversableLike → GenTraversableLike
-
def
map[B, That](f: (Term) ⇒ B)(implicit bf: CanBuildFrom[Set[Term], B, That]): That
- Definition Classes
- SetLike → TraversableLike → GenTraversableLike → FilterMonadic
- Annotations
- @migration
- Migration
(Changed in version 2.8.0) Set.map now returns a Set, so it will discard duplicate values.
-
def
mapResult[NewTo](f: (Set[Term]) ⇒ NewTo): Builder[Term, NewTo]
- Definition Classes
- Builder
-
def
max[B >: Term](implicit cmp: Ordering[B]): Term
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
maxBy[B](f: (Term) ⇒ B)(implicit cmp: Ordering[B]): Term
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
merged(c: EquivalenceClass, ds: List[EquivalenceClass]): Unit
replaces any reference to a d in ds with c
-
def
min[B >: Term](implicit cmp: Ordering[B]): Term
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
minBy[B](f: (Term) ⇒ B)(implicit cmp: Ordering[B]): Term
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
mkString: String
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
mkString(sep: String): String
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
mkString(start: String, sep: String, end: String): String
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
mustBeBelow(c: EquivalenceClass): Unit
records the knowledge that two classes must be disjoint
-
def
mustBeDisjointFrom(c: EquivalenceClass): Unit
records the knowledge that two classes must be disjoint
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
newBuilder: Builder[Term, Set[Term]]
- Attributes
- protected[this]
- Definition Classes
- SetLike → SetLike → TraversableLike → HasNewBuilder
-
def
nonEmpty: Boolean
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
def
par: ParSet[Term]
- Definition Classes
- Parallelizable
-
def
parCombiner: Combiner[Term, ParSet[Term]]
- Attributes
- protected[this]
- Definition Classes
- SetLike → SetLike → TraversableLike → Parallelizable
-
def
partition(p: (Term) ⇒ Boolean): (Set[Term], Set[Term])
- Definition Classes
- TraversableLike → GenTraversableLike
-
def
product[B >: Term](implicit num: Numeric[B]): B
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
reduce[A1 >: Term](op: (A1, A1) ⇒ A1): A1
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
reduceLeft[B >: Term](op: (B, Term) ⇒ B): B
- Definition Classes
- TraversableOnce
-
def
reduceLeftOption[B >: Term](op: (B, Term) ⇒ B): Option[B]
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
reduceOption[A1 >: Term](op: (A1, A1) ⇒ A1): Option[A1]
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
reduceRight[B >: Term](op: (Term, B) ⇒ B): B
- Definition Classes
- IterableLike → TraversableOnce → GenTraversableOnce
-
def
reduceRightOption[B >: Term](op: (Term, B) ⇒ B): Option[B]
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
remove(elem: Term): Boolean
- Definition Classes
- SetLike
-
def
repr: Set[Term]
- Definition Classes
- TraversableLike → GenTraversableLike
-
def
result(): Set[Term]
- Definition Classes
- SetLike → Builder
-
def
retain(p: (Term) ⇒ Boolean): Unit
- Definition Classes
- SetLike
-
def
reversed: List[Term]
- Attributes
- protected[this]
- Definition Classes
- TraversableOnce
-
def
sameElements[B >: Term](that: GenIterable[B]): Boolean
- Definition Classes
- IterableLike → GenIterableLike
-
def
scan[B >: Term, That](z: B)(op: (B, B) ⇒ B)(implicit cbf: CanBuildFrom[Set[Term], B, That]): That
- Definition Classes
- TraversableLike → GenTraversableLike
-
def
scanLeft[B, That](z: B)(op: (B, Term) ⇒ B)(implicit bf: CanBuildFrom[Set[Term], B, That]): That
- Definition Classes
- TraversableLike → GenTraversableLike
-
def
scanRight[B, That](z: B)(op: (Term, B) ⇒ B)(implicit bf: CanBuildFrom[Set[Term], B, That]): That
- Definition Classes
- TraversableLike → GenTraversableLike
- Annotations
- @migration
- Migration
(Changed in version 2.9.0) The behavior of
scanRight
has changed. The previous behavior can be reproduced with scanRight.reverse.
-
def
seq: Set[Term]
- Definition Classes
- Set → Set → GenSet → GenSetLike → Iterable → Iterable → GenIterable → Traversable → Traversable → GenTraversable → Parallelizable → TraversableOnce → GenTraversableOnce
-
def
size: Int
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
sizeHint(coll: TraversableLike[_, _], delta: Int): Unit
- Definition Classes
- Builder
-
def
sizeHint(coll: TraversableLike[_, _]): Unit
- Definition Classes
- Builder
-
def
sizeHint(size: Int): Unit
- Definition Classes
- Builder
-
def
sizeHintBounded(size: Int, boundingColl: TraversableLike[_, _]): Unit
- Definition Classes
- Builder
-
def
sizeHintIfCheap: Int
- Attributes
- protected[collection]
- Definition Classes
- GenTraversableOnce
-
def
slice(from: Int, until: Int): Set[Term]
- Definition Classes
- IterableLike → TraversableLike → GenTraversableLike
-
def
sliding(size: Int, step: Int): Iterator[Set[Term]]
- Definition Classes
- IterableLike
-
def
sliding(size: Int): Iterator[Set[Term]]
- Definition Classes
- IterableLike
-
def
span(p: (Term) ⇒ Boolean): (Set[Term], Set[Term])
- Definition Classes
- TraversableLike → GenTraversableLike
-
def
splitAt(n: Int): (Set[Term], Set[Term])
- Definition Classes
- TraversableLike → GenTraversableLike
-
def
stringPrefix: String
- Definition Classes
- SetLike → TraversableLike → GenTraversableLike
-
def
subsetOf(that: GenSet[Term]): Boolean
- Definition Classes
- GenSetLike
-
def
subsets(): Iterator[Set[Term]]
- Definition Classes
- SetLike
-
def
subsets(len: Int): Iterator[Set[Term]]
- Definition Classes
- SetLike
-
def
sum[B >: Term](implicit num: Numeric[B]): B
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
tail: Set[Term]
- Definition Classes
- TraversableLike → GenTraversableLike
-
def
tails: Iterator[Set[Term]]
- Definition Classes
- TraversableLike
-
def
take(n: Int): Set[Term]
- Definition Classes
- IterableLike → TraversableLike → GenTraversableLike
-
def
takeRight(n: Int): Set[Term]
- Definition Classes
- IterableLike
-
def
takeWhile(p: (Term) ⇒ Boolean): Set[Term]
- Definition Classes
- IterableLike → TraversableLike → GenTraversableLike
-
def
thisCollection: Iterable[Term]
- Attributes
- protected[this]
- Definition Classes
- IterableLike → TraversableLike
-
def
to[Col[_]](implicit cbf: CanBuildFrom[Nothing, Term, Col[Term]]): Col[Term]
- Definition Classes
- TraversableLike → TraversableOnce → GenTraversableOnce
-
def
toArray[B >: Term](implicit arg0: ClassTag[B]): Array[B]
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
toBuffer[A1 >: Term]: Buffer[A1]
- Definition Classes
- SetLike → TraversableOnce → GenTraversableOnce
-
def
toCollection(repr: Set[Term]): Iterable[Term]
- Attributes
- protected[this]
- Definition Classes
- IterableLike → TraversableLike
-
def
toIndexedSeq: IndexedSeq[Term]
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
toIterable: Iterable[Term]
- Definition Classes
- IterableLike → TraversableOnce → GenTraversableOnce
-
def
toIterator: Iterator[Term]
- Definition Classes
- IterableLike → TraversableLike → GenTraversableOnce
- Annotations
- @deprecatedOverriding( ... , "2.11.0" )
-
def
toList: List[Term]
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
toMap[T, U](implicit ev: <:<[Term, (T, U)]): Map[T, U]
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
toSeq: Seq[Term]
- Definition Classes
- SetLike → SetLike → TraversableOnce → GenTraversableOnce
-
def
toSet[B >: Term]: Set[B]
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
toStream: Stream[Term]
- Definition Classes
- IterableLike → TraversableLike → GenTraversableOnce
-
def
toString(): String
- Definition Classes
- SetLike → Function1 → TraversableLike → AnyRef → Any
-
def
toTraversable: Traversable[Term]
- Definition Classes
- TraversableLike → TraversableOnce → GenTraversableOnce
- Annotations
- @deprecatedOverriding( ... , "2.11.0" )
-
def
toVector: Vector[Term]
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
transpose[B](implicit asTraversable: (Term) ⇒ GenTraversableOnce[B]): Set[Set[B]]
- Definition Classes
- GenericTraversableTemplate
- Annotations
- @migration
- Migration
(Changed in version 2.9.0)
transpose
throws anIllegalArgumentException
if collections are not uniformly sized.
-
def
union(that: GenSet[Term]): Set[Term]
- Definition Classes
- SetLike → GenSetLike
-
def
unzip[A1, A2](implicit asPair: (Term) ⇒ (A1, A2)): (Set[A1], Set[A2])
- Definition Classes
- GenericTraversableTemplate
-
def
unzip3[A1, A2, A3](implicit asTriple: (Term) ⇒ (A1, A2, A3)): (Set[A1], Set[A2], Set[A3])
- Definition Classes
- GenericTraversableTemplate
-
def
update(elem: Term, included: Boolean): Unit
- Definition Classes
- SetLike
-
def
view(from: Int, until: Int): IterableView[Term, Set[Term]]
- Definition Classes
- IterableLike → TraversableLike
-
def
view: IterableView[Term, Set[Term]]
- Definition Classes
- IterableLike → TraversableLike
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
def
withFilter(p: (Term) ⇒ Boolean): FilterMonadic[Term, Set[Term]]
- Definition Classes
- TraversableLike → FilterMonadic
-
def
zip[A1 >: Term, B, That](that: GenIterable[B])(implicit bf: CanBuildFrom[Set[Term], (A1, B), That]): That
- Definition Classes
- IterableLike → GenIterableLike
-
def
zipAll[B, A1 >: Term, That](that: GenIterable[B], thisElem: A1, thatElem: B)(implicit bf: CanBuildFrom[Set[Term], (A1, B), That]): That
- Definition Classes
- IterableLike → GenIterableLike
-
def
zipWithIndex[A1 >: Term, That](implicit bf: CanBuildFrom[Set[Term], (A1, Int), That]): That
- Definition Classes
- IterableLike → GenIterableLike
-
def
|(that: GenSet[Term]): Set[Term]
- Definition Classes
- GenSetLike