Packages

  • package root
    Definition Classes
    root
  • package info
    Definition Classes
    root
  • package kwarc
    Definition Classes
    info
  • package mmt
    Definition Classes
    kwarc
  • package api

    This is the main package of the MMT API.

    This is the main package of the MMT API.

    It holds subpackages for all data structures, data containers, and the central algorithms and services.

    Classes directly defined in the package

    Some minor classes that are used throughout MMT are defined in this package, in particular:

    • MMT URIs in the class Path and Namespace
    • processing and content errors in the class Error

    The package also contains root classes for certain types that are subclassed throughout the package. Most importantly:

    • StructuralElement: structure-level (= named) parts in the data structures for the MMT language: documents, theories, constants, ...
    • MMTTask: tasks for a single object: parsing, checking, ...
    • Rule: object-level part of the MMT language that is written in Scala

    Subpackages

    Data structures for the MMT language

    The data structures for the MMT languages are defined in 4 packages corresponding to the 4 levels: - documents: Documents and all other NarrativeElements - modules: Modules (= the toplevel declarations), in particular Theorys and Views - symbols: all Declarations inside modules, in particular Constants - objects: all anonymous Objects (e.g., formulas, functions, etc.), in particular Contexts and Terms

    The former 3 levels are jointly called 'structural' levels. All elements subclass StructuralElement, have an MMT URI, and carry an MMT URI referring to their parent in the MMT abstract syntax tree.

    Structural elements are extensible (via DerivedModules and DerivedDeclarations), and the package patterns defines declaration patterns as a built-in extension.

    All structural elements are mutable and implement the ContainerElement interface for changing their children. Objects, by contrast, are represented as immutable inductive types.(except for carrying metadata.Metadata and objects.ClientProperties). The boundary between structural elements and objects is mediated by ComponentContainers: these are mutable, owned by structural elements, and maintain objects.

    A few auxiliary data structures shifted to separate packages: - opaque: external (i.e., informal, computation) content - informal: partially outdated informal data structures - metadata: metadata annotations to all structural elements or objects

    The MMT main class and its internal state

    The package frontend contains the class Controller, which owns all state relevant for running MMT. Typically, each application creates a single instance of this class. The package also defines several other essential classes, most importantly MMT's extension (=plug-in, add-on) interfaces via the Extension class.

    The package libraries maintains the instances of MMT language data structures, in particular the Library class. Controller owns a Library, which stores all structural elements that have been loaded into memory.

    User interfaces

    The package frontend also contains the main executable classes, in particular the Shell class.

    The package gui collects all classes for building graphical user interfaces. This includes auxiliary classes for use in IDE plugins.

    The package web collects all classes for the HTTP interface of MMT.

    Physical storage of the MMT language files

    The package archives defines MMT Archives (= projects) as well as classes for building and working with archives. The latter include in particular the BuildManager and BuildTarget. Build targets include Importers and [Exporter]]s that translate between MMT and other formats.

    The package backend defines classes for maintaining archives and translating between the MMT URIs of structural elements and their physical storage locations.

    The central algorithms for processing MMT content

    The processing model of MMT consists of several major algorithms. - parser: read strings into MMT data structures - checking: check and refine MMT data structures - uom: pure computation on MMT data structures - proving: theorem proving on MMT data structures (in very early state)) - execution: imperative computation (in very, very early state) - presentation: rendering MMT data structures in user-facing formats (including HTML+presentation MathML)

    All algorithms are defined in Extensions coupled with default implementations. Moreover, all algorithms are split into two separate levels, one for structural elements and objects. See LeveledExtension.

    The package notations maintains the common code for parsing and presentation.

    The package valuebases maintains mathematical databases as a part of MMT.

    Other algorithms on the MMT data structures

    The package ontology contains a relational, semantic web-style ontology and query engine for it.

    The package moc contains change management.

    The package refactoring contains refactoring principles.

    General purpose utility functions

    The package utils defines general purpose APIs for files, URIs, HTML building, etc.

    Definition Classes
    mmt
  • package proving

    The algorithm for proving theorems about MMT content.

    The algorithm for proving theorems about MMT content. This is very premature and experimental.

    See api for an overview of the algorithms.

    The main interfaces are - Prover: object level proving

    Structure level proving does not exist yet.

    The main implementations are - RuleBasedProver for object-level proving

    The latter creates a Searcher for each proving task, which applies search rules to find MMT objects.

    Definition Classes
    api
  • package imperative
    Definition Classes
    proving
  • Alternative
  • ApplicableTactic
  • Atom
  • AtomicShape
  • BackwardInvertible
  • BackwardSearch
  • BoundShape
  • ComplexShape
  • EquivalenceClass
  • EquivalenceRelation
  • Fact
  • Facts
  • ForwardInvertible
  • ForwardSearch
  • Goal
  • InvertibleTactic
  • Prover
  • ProvingUnit
  • RuleBasedProver
  • Searcher
  • Shape
  • ShapeIndexedSet
  • Tactic
  • Wildcard
c

info.kwarc.mmt.api.proving

EquivalenceClass

class EquivalenceClass extends ShapeIndexedSet[Term]

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. EquivalenceClass
  2. ShapeIndexedSet
  3. ComplexHashSet
  4. Set
  5. SetLike
  6. Cloneable
  7. Cloneable
  8. Cloneable
  9. Shrinkable
  10. Builder
  11. Growable
  12. Clearable
  13. Scriptable
  14. Set
  15. SetLike
  16. Subtractable
  17. GenSet
  18. GenericSetTemplate
  19. GenSetLike
  20. Function1
  21. Iterable
  22. Iterable
  23. IterableLike
  24. Equals
  25. GenIterable
  26. GenIterableLike
  27. Traversable
  28. Mutable
  29. Traversable
  30. GenTraversable
  31. GenericTraversableTemplate
  32. TraversableLike
  33. GenTraversableLike
  34. Parallelizable
  35. TraversableOnce
  36. GenTraversableOnce
  37. FilterMonadic
  38. HasNewBuilder
  39. AnyRef
  40. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new EquivalenceClass(levels: Int)

Type Members

  1. type Self = Set[Term]
    Attributes
    protected[this]
    Definition Classes
    TraversableLike
  2. class WithFilter extends FilterMonadic[A, Repr]
    Definition Classes
    TraversableLike

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. def &(that: GenSet[Term]): Set[Term]
    Definition Classes
    GenSetLike
  4. def &~(that: GenSet[Term]): Set[Term]
    Definition Classes
    GenSetLike
  5. 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.

  6. 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.

  7. 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.

  8. def ++[B >: Term, That](that: GenTraversableOnce[B])(implicit bf: CanBuildFrom[Set[Term], B, That]): That
    Definition Classes
    TraversableLike → GenTraversableLike
  9. def ++:[B >: Term, That](that: Traversable[B])(implicit bf: CanBuildFrom[Set[Term], B, That]): That
    Definition Classes
    TraversableLike
  10. def ++:[B >: Term, That](that: TraversableOnce[B])(implicit bf: CanBuildFrom[Set[Term], B, That]): That
    Definition Classes
    TraversableLike
  11. def ++=(xs: TraversableOnce[Term]): EquivalenceClass.this.type
    Definition Classes
    Growable
  12. def +=(a: Term): EquivalenceClass.this.type
    Definition Classes
    ComplexHashSet → SetLike → Builder → Growable
  13. def +=(elem1: Term, elem2: Term, elems: Term*): EquivalenceClass.this.type
    Definition Classes
    Growable
  14. 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.

  15. 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.

  16. 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.

  17. def --=(xs: TraversableOnce[Term]): EquivalenceClass.this.type
    Definition Classes
    Shrinkable
  18. def -=(a: Term): EquivalenceClass.this.type
    Definition Classes
    ComplexHashSet → SetLike → Shrinkable
  19. def -=(elem1: Term, elem2: Term, elems: Term*): EquivalenceClass.this.type
    Definition Classes
    Shrinkable
  20. def /:[B](z: B)(op: (B, Term) ⇒ B): B
    Definition Classes
    TraversableOnce → GenTraversableOnce
  21. def :\[B](z: B)(op: (Term, B) ⇒ B): B
    Definition Classes
    TraversableOnce → GenTraversableOnce
  22. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  23. def add(c: EquivalenceClass): Unit

    merges another class into this one

  24. def add(elem: Term): Boolean
    Definition Classes
    SetLike
  25. def addString(b: StringBuilder): StringBuilder
    Definition Classes
    TraversableOnce
  26. def addString(b: StringBuilder, sep: String): StringBuilder
    Definition Classes
    TraversableOnce
  27. def addString(b: StringBuilder, start: String, sep: String, end: String): StringBuilder
    Definition Classes
    TraversableOnce
  28. def aggregate[B](z: ⇒ B)(seqop: (B, Term) ⇒ B, combop: (B, B) ⇒ B): B
    Definition Classes
    TraversableOnce → GenTraversableOnce
  29. def andThen[A](g: (Boolean) ⇒ A): (Term) ⇒ A
    Definition Classes
    Function1
    Annotations
    @unspecialized()
  30. def apply(elem: Term): Boolean
    Definition Classes
    GenSetLike → Function1
  31. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  32. def below(that: EquivalenceClass): Boolean

    true if this is below that

  33. def between(that: EquivalenceClass): List[EquivalenceClass]

    all classes between this and that

  34. def canEqual(that: Any): Boolean
    Definition Classes
    IterableLike → Equals
  35. def clear(): Unit
    Definition Classes
    SetLike → Builder → Growable → Clearable
  36. def clone(): Set[Term]
    Definition Classes
    SetLike → Cloneable → AnyRef
  37. def collect[B, That](pf: PartialFunction[Term, B])(implicit bf: CanBuildFrom[Set[Term], B, That]): That
    Definition Classes
    TraversableLike → GenTraversableLike
  38. def collectFirst[B](pf: PartialFunction[Term, B]): Option[B]
    Definition Classes
    TraversableOnce
  39. def companion: GenericCompanion[Set]
    Definition Classes
    Set → Set → GenSet → Iterable → Iterable → GenIterable → Traversable → Traversable → GenTraversable → GenericTraversableTemplate
  40. def compose[A](g: (A) ⇒ Term): (A) ⇒ Boolean
    Definition Classes
    Function1
    Annotations
    @unspecialized()
  41. def contains(a: Term): Boolean
    Definition Classes
    ComplexHashSet → SetLike → GenSetLike
  42. def copyToArray[B >: Term](xs: Array[B], start: Int, len: Int): Unit
    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  43. def copyToArray[B >: Term](xs: Array[B]): Unit
    Definition Classes
    TraversableOnce → GenTraversableOnce
  44. def copyToArray[B >: Term](xs: Array[B], start: Int): Unit
    Definition Classes
    TraversableOnce → GenTraversableOnce
  45. def copyToBuffer[B >: Term](dest: Buffer[B]): Unit
    Definition Classes
    TraversableOnce
  46. def count(p: (Term) ⇒ Boolean): Int
    Definition Classes
    TraversableOnce → GenTraversableOnce
  47. def diff(that: GenSet[Term]): Set[Term]
    Definition Classes
    SetLike → GenSetLike
  48. def disjointFrom(c: EquivalenceClass): Boolean

    true if two classes must be disjoint

  49. def drop(n: Int): Set[Term]
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  50. def dropRight(n: Int): Set[Term]
    Definition Classes
    IterableLike
  51. def dropWhile(p: (Term) ⇒ Boolean): Set[Term]
    Definition Classes
    TraversableLike → GenTraversableLike
  52. def empty: ComplexHashSet[Shape, Term]
    Definition Classes
    ComplexHashSet → SetLike → GenericSetTemplate
  53. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  54. def equals(that: Any): Boolean
    Definition Classes
    GenSetLike → Equals → AnyRef → Any
  55. def exists(p: (Term) ⇒ Boolean): Boolean
    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  56. def filter(p: (Term) ⇒ Boolean): Set[Term]
    Definition Classes
    TraversableLike → GenTraversableLike
  57. def filterNot(p: (Term) ⇒ Boolean): Set[Term]
    Definition Classes
    TraversableLike → GenTraversableLike
  58. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  59. def find(p: (Term) ⇒ Boolean): Option[Term]
    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  60. def flatMap[B, That](f: (Term) ⇒ GenTraversableOnce[B])(implicit bf: CanBuildFrom[Set[Term], B, That]): That
    Definition Classes
    TraversableLike → GenTraversableLike → FilterMonadic
  61. def flatten[B](implicit asTraversable: (Term) ⇒ GenTraversableOnce[B]): Set[B]
    Definition Classes
    GenericTraversableTemplate
  62. def fold[A1 >: Term](z: A1)(op: (A1, A1) ⇒ A1): A1
    Definition Classes
    TraversableOnce → GenTraversableOnce
  63. def foldLeft[B](z: B)(op: (B, Term) ⇒ B): B
    Definition Classes
    TraversableOnce → GenTraversableOnce
  64. def foldRight[B](z: B)(op: (Term, B) ⇒ B): B
    Definition Classes
    IterableLike → TraversableOnce → GenTraversableOnce
  65. def forall(p: (Term) ⇒ Boolean): Boolean
    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  66. def foreach[U](f: (Term) ⇒ U): Unit
    Definition Classes
    ComplexHashSet → IterableLike → GenericTraversableTemplate → TraversableLike → GenTraversableLike → TraversableOnce → GenTraversableOnce → FilterMonadic
  67. def genericBuilder[B]: Builder[B, Set[B]]
    Definition Classes
    GenericTraversableTemplate
  68. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  69. def groupBy[K](f: (Term) ⇒ K): Map[K, Set[Term]]
    Definition Classes
    TraversableLike → GenTraversableLike
  70. def grouped(size: Int): Iterator[Set[Term]]
    Definition Classes
    IterableLike
  71. def hasDefiniteSize: Boolean
    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce
  72. def hashCode(): Int
    Definition Classes
    GenSetLike → AnyRef → Any
  73. def head: Term
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  74. def headOption: Option[Term]
    Definition Classes
    TraversableLike → GenTraversableLike
  75. def init: Set[Term]
    Definition Classes
    TraversableLike → GenTraversableLike
  76. def inits: Iterator[Set[Term]]
    Definition Classes
    TraversableLike
  77. def intersect(that: GenSet[Term]): Set[Term]
    Definition Classes
    GenSetLike
  78. def isEmpty: Boolean
    Definition Classes
    SetLike → IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  79. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  80. final def isTraversableAgain: Boolean
    Definition Classes
    TraversableLike → GenTraversableLike → GenTraversableOnce
  81. def iterator: Iterator[Term]
    Definition Classes
    ComplexHashSet → GenSetLike → IterableLike → GenIterableLike
  82. def last: Term
    Definition Classes
    TraversableLike → GenTraversableLike
  83. def lastOption: Option[Term]
    Definition Classes
    TraversableLike → GenTraversableLike
  84. 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.

  85. def mapResult[NewTo](f: (Set[Term]) ⇒ NewTo): Builder[Term, NewTo]
    Definition Classes
    Builder
  86. def max[B >: Term](implicit cmp: Ordering[B]): Term
    Definition Classes
    TraversableOnce → GenTraversableOnce
  87. def maxBy[B](f: (Term) ⇒ B)(implicit cmp: Ordering[B]): Term
    Definition Classes
    TraversableOnce → GenTraversableOnce
  88. def merged(c: EquivalenceClass, ds: List[EquivalenceClass]): Unit

    replaces any reference to a d in ds with c

  89. def min[B >: Term](implicit cmp: Ordering[B]): Term
    Definition Classes
    TraversableOnce → GenTraversableOnce
  90. def minBy[B](f: (Term) ⇒ B)(implicit cmp: Ordering[B]): Term
    Definition Classes
    TraversableOnce → GenTraversableOnce
  91. def mkString: String
    Definition Classes
    TraversableOnce → GenTraversableOnce
  92. def mkString(sep: String): String
    Definition Classes
    TraversableOnce → GenTraversableOnce
  93. def mkString(start: String, sep: String, end: String): String
    Definition Classes
    TraversableOnce → GenTraversableOnce
  94. def mustBeBelow(c: EquivalenceClass): Unit

    records the knowledge that two classes must be disjoint

  95. def mustBeDisjointFrom(c: EquivalenceClass): Unit

    records the knowledge that two classes must be disjoint

  96. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  97. def newBuilder: Builder[Term, Set[Term]]
    Attributes
    protected[this]
    Definition Classes
    SetLike → SetLike → TraversableLike → HasNewBuilder
  98. def nonEmpty: Boolean
    Definition Classes
    TraversableOnce → GenTraversableOnce
  99. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  100. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  101. def par: ParSet[Term]
    Definition Classes
    Parallelizable
  102. def parCombiner: Combiner[Term, ParSet[Term]]
    Attributes
    protected[this]
    Definition Classes
    SetLike → SetLike → TraversableLike → Parallelizable
  103. def partition(p: (Term) ⇒ Boolean): (Set[Term], Set[Term])
    Definition Classes
    TraversableLike → GenTraversableLike
  104. def product[B >: Term](implicit num: Numeric[B]): B
    Definition Classes
    TraversableOnce → GenTraversableOnce
  105. def reduce[A1 >: Term](op: (A1, A1) ⇒ A1): A1
    Definition Classes
    TraversableOnce → GenTraversableOnce
  106. def reduceLeft[B >: Term](op: (B, Term) ⇒ B): B
    Definition Classes
    TraversableOnce
  107. def reduceLeftOption[B >: Term](op: (B, Term) ⇒ B): Option[B]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  108. def reduceOption[A1 >: Term](op: (A1, A1) ⇒ A1): Option[A1]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  109. def reduceRight[B >: Term](op: (Term, B) ⇒ B): B
    Definition Classes
    IterableLike → TraversableOnce → GenTraversableOnce
  110. def reduceRightOption[B >: Term](op: (Term, B) ⇒ B): Option[B]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  111. def remove(elem: Term): Boolean
    Definition Classes
    SetLike
  112. def repr: Set[Term]
    Definition Classes
    TraversableLike → GenTraversableLike
  113. def result(): Set[Term]
    Definition Classes
    SetLike → Builder
  114. def retain(p: (Term) ⇒ Boolean): Unit
    Definition Classes
    SetLike
  115. def reversed: List[Term]
    Attributes
    protected[this]
    Definition Classes
    TraversableOnce
  116. def sameElements[B >: Term](that: GenIterable[B]): Boolean
    Definition Classes
    IterableLike → GenIterableLike
  117. def scan[B >: Term, That](z: B)(op: (B, B) ⇒ B)(implicit cbf: CanBuildFrom[Set[Term], B, That]): That
    Definition Classes
    TraversableLike → GenTraversableLike
  118. def scanLeft[B, That](z: B)(op: (B, Term) ⇒ B)(implicit bf: CanBuildFrom[Set[Term], B, That]): That
    Definition Classes
    TraversableLike → GenTraversableLike
  119. 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.

  120. def seq: Set[Term]
    Definition Classes
    Set → Set → GenSet → GenSetLike → Iterable → Iterable → GenIterable → Traversable → Traversable → GenTraversable → Parallelizable → TraversableOnce → GenTraversableOnce
  121. def size: Int
    Definition Classes
    TraversableOnce → GenTraversableOnce
  122. def sizeHint(coll: TraversableLike[_, _], delta: Int): Unit
    Definition Classes
    Builder
  123. def sizeHint(coll: TraversableLike[_, _]): Unit
    Definition Classes
    Builder
  124. def sizeHint(size: Int): Unit
    Definition Classes
    Builder
  125. def sizeHintBounded(size: Int, boundingColl: TraversableLike[_, _]): Unit
    Definition Classes
    Builder
  126. def sizeHintIfCheap: Int
    Attributes
    protected[collection]
    Definition Classes
    GenTraversableOnce
  127. def slice(from: Int, until: Int): Set[Term]
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  128. def sliding(size: Int, step: Int): Iterator[Set[Term]]
    Definition Classes
    IterableLike
  129. def sliding(size: Int): Iterator[Set[Term]]
    Definition Classes
    IterableLike
  130. def span(p: (Term) ⇒ Boolean): (Set[Term], Set[Term])
    Definition Classes
    TraversableLike → GenTraversableLike
  131. def splitAt(n: Int): (Set[Term], Set[Term])
    Definition Classes
    TraversableLike → GenTraversableLike
  132. def stringPrefix: String
    Definition Classes
    SetLike → TraversableLike → GenTraversableLike
  133. def subsetOf(that: GenSet[Term]): Boolean
    Definition Classes
    GenSetLike
  134. def subsets(): Iterator[Set[Term]]
    Definition Classes
    SetLike
  135. def subsets(len: Int): Iterator[Set[Term]]
    Definition Classes
    SetLike
  136. def sum[B >: Term](implicit num: Numeric[B]): B
    Definition Classes
    TraversableOnce → GenTraversableOnce
  137. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  138. def tail: Set[Term]
    Definition Classes
    TraversableLike → GenTraversableLike
  139. def tails: Iterator[Set[Term]]
    Definition Classes
    TraversableLike
  140. def take(n: Int): Set[Term]
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  141. def takeRight(n: Int): Set[Term]
    Definition Classes
    IterableLike
  142. def takeWhile(p: (Term) ⇒ Boolean): Set[Term]
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  143. def thisCollection: Iterable[Term]
    Attributes
    protected[this]
    Definition Classes
    IterableLike → TraversableLike
  144. def to[Col[_]](implicit cbf: CanBuildFrom[Nothing, Term, Col[Term]]): Col[Term]
    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce
  145. def toArray[B >: Term](implicit arg0: ClassTag[B]): Array[B]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  146. def toBuffer[A1 >: Term]: Buffer[A1]
    Definition Classes
    SetLike → TraversableOnce → GenTraversableOnce
  147. def toCollection(repr: Set[Term]): Iterable[Term]
    Attributes
    protected[this]
    Definition Classes
    IterableLike → TraversableLike
  148. def toIndexedSeq: IndexedSeq[Term]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  149. def toIterable: Iterable[Term]
    Definition Classes
    IterableLike → TraversableOnce → GenTraversableOnce
  150. def toIterator: Iterator[Term]
    Definition Classes
    IterableLike → TraversableLike → GenTraversableOnce
    Annotations
    @deprecatedOverriding( ... , "2.11.0" )
  151. def toList: List[Term]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  152. def toMap[T, U](implicit ev: <:<[Term, (T, U)]): Map[T, U]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  153. def toSeq: Seq[Term]
    Definition Classes
    SetLike → SetLike → TraversableOnce → GenTraversableOnce
  154. def toSet[B >: Term]: Set[B]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  155. def toStream: Stream[Term]
    Definition Classes
    IterableLike → TraversableLike → GenTraversableOnce
  156. def toString(): String
    Definition Classes
    SetLike → Function1 → TraversableLike → AnyRef → Any
  157. def toTraversable: Traversable[Term]
    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce
    Annotations
    @deprecatedOverriding( ... , "2.11.0" )
  158. def toVector: Vector[Term]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  159. 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 an IllegalArgumentException if collections are not uniformly sized.

  160. def union(that: GenSet[Term]): Set[Term]
    Definition Classes
    SetLike → GenSetLike
  161. def unzip[A1, A2](implicit asPair: (Term) ⇒ (A1, A2)): (Set[A1], Set[A2])
    Definition Classes
    GenericTraversableTemplate
  162. def unzip3[A1, A2, A3](implicit asTriple: (Term) ⇒ (A1, A2, A3)): (Set[A1], Set[A2], Set[A3])
    Definition Classes
    GenericTraversableTemplate
  163. def update(elem: Term, included: Boolean): Unit
    Definition Classes
    SetLike
  164. def view(from: Int, until: Int): IterableView[Term, Set[Term]]
    Definition Classes
    IterableLike → TraversableLike
  165. def view: IterableView[Term, Set[Term]]
    Definition Classes
    IterableLike → TraversableLike
  166. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  167. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  168. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  169. def withFilter(p: (Term) ⇒ Boolean): FilterMonadic[Term, Set[Term]]
    Definition Classes
    TraversableLike → FilterMonadic
  170. def zip[A1 >: Term, B, That](that: GenIterable[B])(implicit bf: CanBuildFrom[Set[Term], (A1, B), That]): That
    Definition Classes
    IterableLike → GenIterableLike
  171. 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
  172. def zipWithIndex[A1 >: Term, That](implicit bf: CanBuildFrom[Set[Term], (A1, Int), That]): That
    Definition Classes
    IterableLike → GenIterableLike
  173. def |(that: GenSet[Term]): Set[Term]
    Definition Classes
    GenSetLike

Deprecated Value Members

  1. def <<(cmd: scala.collection.script.Message[Term]): Unit
    Definition Classes
    SetLike → Scriptable
    Annotations
    @deprecated
    Deprecated

    (Since version 2.11.0) scripting is deprecated

Inherited from ShapeIndexedSet[Term]

Inherited from ComplexHashSet[Shape, Term]

Inherited from Set[Term]

Inherited from SetLike[Term, Set[Term]]

Inherited from Cloneable[Set[Term]]

Inherited from Cloneable

Inherited from Cloneable

Inherited from Shrinkable[Term]

Inherited from Builder[Term, Set[Term]]

Inherited from Growable[Term]

Inherited from Clearable

Inherited from Scriptable[Term]

Inherited from Set[Term]

Inherited from SetLike[Term, Set[Term]]

Inherited from Subtractable[Term, Set[Term]]

Inherited from GenSet[Term]

Inherited from GenericSetTemplate[Term, Set]

Inherited from GenSetLike[Term, Set[Term]]

Inherited from (Term) ⇒ Boolean

Inherited from Iterable[Term]

Inherited from Iterable[Term]

Inherited from IterableLike[Term, Set[Term]]

Inherited from Equals

Inherited from GenIterable[Term]

Inherited from GenIterableLike[Term, Set[Term]]

Inherited from Traversable[Term]

Inherited from Mutable

Inherited from Traversable[Term]

Inherited from GenTraversable[Term]

Inherited from TraversableLike[Term, Set[Term]]

Inherited from GenTraversableLike[Term, Set[Term]]

Inherited from Parallelizable[Term, ParSet[Term]]

Inherited from TraversableOnce[Term]

Inherited from GenTraversableOnce[Term]

Inherited from FilterMonadic[Term, Set[Term]]

Inherited from HasNewBuilder[Term, scala.collection.mutable.Set[info.kwarc.mmt.api.objects.Term] @scala.annotation.unchecked.uncheckedVariance]

Inherited from AnyRef

Inherited from Any

Ungrouped