Class/Object

ap.terfor.conjunctions

NegatedConjunctions

Related Docs: object NegatedConjunctions | package conjunctions

Permalink

class NegatedConjunctions extends Formula with SortedWithOrder[NegatedConjunctions] with IndexedSeq[Conjunction]

Class for representing a conjunction of negated Conjunctions.

Linear Supertypes
IndexedSeq[Conjunction], IndexedSeqLike[Conjunction, IndexedSeq[Conjunction]], Seq[Conjunction], SeqLike[Conjunction, IndexedSeq[Conjunction]], GenSeq[Conjunction], GenSeqLike[Conjunction, IndexedSeq[Conjunction]], Iterable[Conjunction], IterableLike[Conjunction, IndexedSeq[Conjunction]], Equals, GenIterable[Conjunction], GenIterableLike[Conjunction, IndexedSeq[Conjunction]], Traversable[Conjunction], GenTraversable[Conjunction], GenericTraversableTemplate[Conjunction, IndexedSeq], TraversableLike[Conjunction, IndexedSeq[Conjunction]], GenTraversableLike[Conjunction, IndexedSeq[Conjunction]], Parallelizable[Conjunction, ParSeq[Conjunction]], TraversableOnce[Conjunction], GenTraversableOnce[Conjunction], FilterMonadic[Conjunction, IndexedSeq[Conjunction]], HasNewBuilder[Conjunction, IndexedSeq[ap.terfor.conjunctions.Conjunction] @scala.annotation.unchecked.uncheckedVariance], PartialFunction[Int, Conjunction], (Int) ⇒ Conjunction, SortedWithOrder[NegatedConjunctions], Sorted[NegatedConjunctions], Formula, TerFor, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. NegatedConjunctions
  2. IndexedSeq
  3. IndexedSeqLike
  4. Seq
  5. SeqLike
  6. GenSeq
  7. GenSeqLike
  8. Iterable
  9. IterableLike
  10. Equals
  11. GenIterable
  12. GenIterableLike
  13. Traversable
  14. GenTraversable
  15. GenericTraversableTemplate
  16. TraversableLike
  17. GenTraversableLike
  18. Parallelizable
  19. TraversableOnce
  20. GenTraversableOnce
  21. FilterMonadic
  22. HasNewBuilder
  23. PartialFunction
  24. Function1
  25. SortedWithOrder
  26. Sorted
  27. Formula
  28. TerFor
  29. AnyRef
  30. Any
  1. Hide All
  2. Show all
Visibility
  1. Public
  2. All

Type Members

  1. class Elements extends AbstractIterator[A] with BufferedIterator[A] with Serializable

    Permalink
    Attributes
    protected
    Definition Classes
    IndexedSeqLike
    Annotations
    @SerialVersionUID()
  2. type Self = IndexedSeq[Conjunction]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    TraversableLike
  3. class WithFilter extends FilterMonadic[A, Repr]

    Permalink
    Definition Classes
    TraversableLike

Value Members

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

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. def &(that: NegatedConjunctions)(implicit newOrder: TermOrder): NegatedConjunctions

    Permalink
  4. def +(that: Conjunction)(implicit order: TermOrder): NegatedConjunctions

    Permalink

    Add a further negated conjunction.

  5. def ++[B >: Conjunction, That](that: GenTraversableOnce[B])(implicit bf: CanBuildFrom[IndexedSeq[Conjunction], B, That]): That

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  6. def ++:[B >: Conjunction, That](that: Traversable[B])(implicit bf: CanBuildFrom[IndexedSeq[Conjunction], B, That]): That

    Permalink
    Definition Classes
    TraversableLike
  7. def ++:[B >: Conjunction, That](that: TraversableOnce[B])(implicit bf: CanBuildFrom[IndexedSeq[Conjunction], B, That]): That

    Permalink
    Definition Classes
    TraversableLike
  8. def +:[B >: Conjunction, That](elem: B)(implicit bf: CanBuildFrom[IndexedSeq[Conjunction], B, That]): That

    Permalink
    Definition Classes
    SeqLike → GenSeqLike
  9. def --(that: NegatedConjunctions): NegatedConjunctions

    Permalink

    Remove some negated conjunctions.

  10. def /:[B](z: B)(op: (B, Conjunction) ⇒ B): B

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  11. def :+[B >: Conjunction, That](elem: B)(implicit bf: CanBuildFrom[IndexedSeq[Conjunction], B, That]): That

    Permalink
    Definition Classes
    SeqLike → GenSeqLike
  12. def :\[B](z: B)(op: (Conjunction, B) ⇒ B): B

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  13. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  14. def addString(b: StringBuilder): StringBuilder

    Permalink
    Definition Classes
    TraversableOnce
  15. def addString(b: StringBuilder, sep: String): StringBuilder

    Permalink
    Definition Classes
    TraversableOnce
  16. def addString(b: StringBuilder, start: String, sep: String, end: String): StringBuilder

    Permalink
    Definition Classes
    TraversableOnce
  17. def aggregate[B](z: ⇒ B)(seqop: (B, Conjunction) ⇒ B, combop: (B, B) ⇒ B): B

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  18. def andThen[C](k: (Conjunction) ⇒ C): PartialFunction[Int, C]

    Permalink
    Definition Classes
    PartialFunction → Function1
  19. def apply(i: Int): Conjunction

    Permalink
    Definition Classes
    NegatedConjunctions → SeqLike → GenSeqLike → Function1
  20. def applyOrElse[A1 <: Int, B1 >: Conjunction](x: A1, default: (A1) ⇒ B1): B1

    Permalink
    Definition Classes
    PartialFunction
  21. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  22. def canEqual(that: Any): Boolean

    Permalink
    Definition Classes
    IterableLike → Equals
  23. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  24. def collect[B, That](pf: PartialFunction[Conjunction, B])(implicit bf: CanBuildFrom[IndexedSeq[Conjunction], B, That]): That

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  25. def collectFirst[B](pf: PartialFunction[Conjunction, B]): Option[B]

    Permalink
    Definition Classes
    TraversableOnce
  26. def combinations(n: Int): Iterator[IndexedSeq[Conjunction]]

    Permalink
    Definition Classes
    SeqLike
  27. def companion: GenericCompanion[IndexedSeq]

    Permalink
    Definition Classes
    IndexedSeq → Seq → GenSeq → Iterable → GenIterable → Traversable → GenTraversable → GenericTraversableTemplate
  28. def compose[A](g: (A) ⇒ Int): (A) ⇒ Conjunction

    Permalink
    Definition Classes
    Function1
    Annotations
    @unspecialized()
  29. lazy val constants: Set[ConstantTerm]

    Permalink
    Definition Classes
    NegatedConjunctionsSortedWithOrderTerFor
  30. def contains[A1 >: Conjunction](elem: A1): Boolean

    Permalink
    Definition Classes
    SeqLike
  31. def containsLiteral: Boolean

    Permalink
  32. def containsNegatedConjunction: Boolean

    Permalink
  33. def containsSlice[B](that: GenSeq[B]): Boolean

    Permalink
    Definition Classes
    SeqLike
  34. def copyToArray[B >: Conjunction](xs: Array[B], start: Int, len: Int): Unit

    Permalink
    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  35. def copyToArray[B >: Conjunction](xs: Array[B]): Unit

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  36. def copyToArray[B >: Conjunction](xs: Array[B], start: Int): Unit

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  37. def copyToBuffer[B >: Conjunction](dest: Buffer[B]): Unit

    Permalink
    Definition Classes
    TraversableOnce
  38. def corresponds[B](that: GenSeq[B])(p: (Conjunction, B) ⇒ Boolean): Boolean

    Permalink
    Definition Classes
    SeqLike → GenSeqLike
  39. def count(p: (Conjunction) ⇒ Boolean): Int

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  40. def diff(oldConj: NegatedConjunctions): (NegatedConjunctions, NegatedConjunctions)

    Permalink

    Find the subset of conjuncts in this conjunction that also occur in oldConj, as well as the subset of conjuncts that do not occur in oldConj.

    Find the subset of conjuncts in this conjunction that also occur in oldConj, as well as the subset of conjuncts that do not occur in oldConj.

  41. def diff[B >: Conjunction](that: GenSeq[B]): IndexedSeq[Conjunction]

    Permalink
    Definition Classes
    SeqLike → GenSeqLike
  42. def distinct: IndexedSeq[Conjunction]

    Permalink
    Definition Classes
    SeqLike → GenSeqLike
  43. def drop(n: Int): IndexedSeq[Conjunction]

    Permalink
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  44. def dropRight(n: Int): IndexedSeq[Conjunction]

    Permalink
    Definition Classes
    IterableLike
  45. def dropWhile(p: (Conjunction) ⇒ Boolean): IndexedSeq[Conjunction]

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  46. def elements: Iterator[Conjunction]

    Permalink
  47. def endsWith[B](that: GenSeq[B]): Boolean

    Permalink
    Definition Classes
    SeqLike → GenSeqLike
  48. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  49. def equals(that: Any): Boolean

    Permalink
    Definition Classes
    NegatedConjunctions → GenSeqLike → Equals → AnyRef → Any
  50. def exists(p: (Conjunction) ⇒ Boolean): Boolean

    Permalink
    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  51. def filter(p: (Conjunction) ⇒ Boolean): IndexedSeq[Conjunction]

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  52. def filterNot(p: (Conjunction) ⇒ Boolean): IndexedSeq[Conjunction]

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  53. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  54. def find(p: (Conjunction) ⇒ Boolean): Option[Conjunction]

    Permalink
    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  55. def flatMap[B, That](f: (Conjunction) ⇒ GenTraversableOnce[B])(implicit bf: CanBuildFrom[IndexedSeq[Conjunction], B, That]): That

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike → FilterMonadic
  56. def flatten[B](implicit asTraversable: (Conjunction) ⇒ GenTraversableOnce[B]): IndexedSeq[B]

    Permalink
    Definition Classes
    GenericTraversableTemplate
  57. def fold[A1 >: Conjunction](z: A1)(op: (A1, A1) ⇒ A1): A1

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  58. def foldLeft[B](z: B)(op: (B, Conjunction) ⇒ B): B

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  59. def foldRight[B](z: B)(op: (Conjunction, B) ⇒ B): B

    Permalink
    Definition Classes
    IterableLike → TraversableOnce → GenTraversableOnce
  60. def forall(p: (Conjunction) ⇒ Boolean): Boolean

    Permalink
    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  61. def foreach[U](f: (Conjunction) ⇒ U): Unit

    Permalink
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike → TraversableOnce → GenTraversableOnce → FilterMonadic
  62. def genericBuilder[B]: Builder[B, IndexedSeq[B]]

    Permalink
    Definition Classes
    GenericTraversableTemplate
  63. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  64. lazy val groundAtoms: Set[Atom]

    Permalink
    Definition Classes
    NegatedConjunctionsFormula
  65. def groupBy[K](f: (Conjunction) ⇒ K): Map[K, IndexedSeq[Conjunction]]

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  66. def grouped(size: Int): Iterator[IndexedSeq[Conjunction]]

    Permalink
    Definition Classes
    IterableLike
  67. def hasDefiniteSize: Boolean

    Permalink
    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce
  68. def hashCode(): Int

    Permalink
    Definition Classes
    NegatedConjunctions → IndexedSeqLike → GenSeqLike → AnyRef → Any
  69. def head: Conjunction

    Permalink
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  70. def headOption: Option[Conjunction]

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  71. def implies(that: NegatedConjunctions): Boolean

    Permalink
  72. def indexOf[B >: Conjunction](elem: B, from: Int): Int

    Permalink
    Definition Classes
    GenSeqLike
  73. def indexOf[B >: Conjunction](elem: B): Int

    Permalink
    Definition Classes
    GenSeqLike
  74. def indexOfSlice[B >: Conjunction](that: GenSeq[B], from: Int): Int

    Permalink
    Definition Classes
    SeqLike
  75. def indexOfSlice[B >: Conjunction](that: GenSeq[B]): Int

    Permalink
    Definition Classes
    SeqLike
  76. def indexWhere(p: (Conjunction) ⇒ Boolean, from: Int): Int

    Permalink
    Definition Classes
    SeqLike → GenSeqLike
  77. def indexWhere(p: (Conjunction) ⇒ Boolean): Int

    Permalink
    Definition Classes
    GenSeqLike
  78. def indices: Range

    Permalink
    Definition Classes
    SeqLike
  79. def init: IndexedSeq[Conjunction]

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  80. def inits: Iterator[IndexedSeq[Conjunction]]

    Permalink
    Definition Classes
    TraversableLike
  81. def intersect[B >: Conjunction](that: GenSeq[B]): IndexedSeq[Conjunction]

    Permalink
    Definition Classes
    SeqLike → GenSeqLike
  82. def isDefinedAt(idx: Int): Boolean

    Permalink
    Definition Classes
    GenSeqLike
  83. def isEmpty: Boolean

    Permalink
    Definition Classes
    SeqLike → IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  84. def isFalse: Boolean

    Permalink

    Return true if this formula is obviously always false

    Return true if this formula is obviously always false

    Definition Classes
    NegatedConjunctionsFormula
  85. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  86. def isNegatedQuantifiedConjunction: Boolean

    Permalink
  87. def isSortedBy(otherOrder: TermOrder): Boolean

    Permalink
    Definition Classes
    SortedWithOrderSorted
  88. final def isTraversableAgain: Boolean

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike → GenTraversableOnce
  89. def isTrue: Boolean

    Permalink

    Return true if this formula is obviously always true

    Return true if this formula is obviously always true

    Definition Classes
    NegatedConjunctionsFormula
  90. def iterator: Iterator[Conjunction]

    Permalink
    Definition Classes
    IndexedSeqLike → IterableLike → GenIterableLike
  91. def last: Conjunction

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  92. def lastIndexOf[B >: Conjunction](elem: B, end: Int): Int

    Permalink
    Definition Classes
    GenSeqLike
  93. def lastIndexOf[B >: Conjunction](elem: B): Int

    Permalink
    Definition Classes
    GenSeqLike
  94. def lastIndexOfSlice[B >: Conjunction](that: GenSeq[B], end: Int): Int

    Permalink
    Definition Classes
    SeqLike
  95. def lastIndexOfSlice[B >: Conjunction](that: GenSeq[B]): Int

    Permalink
    Definition Classes
    SeqLike
  96. def lastIndexWhere(p: (Conjunction) ⇒ Boolean, end: Int): Int

    Permalink
    Definition Classes
    SeqLike → GenSeqLike
  97. def lastIndexWhere(p: (Conjunction) ⇒ Boolean): Int

    Permalink
    Definition Classes
    GenSeqLike
  98. def lastOption: Option[Conjunction]

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  99. def length: Int

    Permalink
    Definition Classes
    NegatedConjunctions → SeqLike → GenSeqLike
  100. def lengthCompare(len: Int): Int

    Permalink
    Definition Classes
    SeqLike
  101. def lift: (Int) ⇒ Option[Conjunction]

    Permalink
    Definition Classes
    PartialFunction
  102. def map[B, That](f: (Conjunction) ⇒ B)(implicit bf: CanBuildFrom[IndexedSeq[Conjunction], B, That]): That

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike → FilterMonadic
  103. def max[B >: Conjunction](implicit cmp: Ordering[B]): Conjunction

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  104. def maxBy[B](f: (Conjunction) ⇒ B)(implicit cmp: Ordering[B]): Conjunction

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  105. def min[B >: Conjunction](implicit cmp: Ordering[B]): Conjunction

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  106. def minBy[B](f: (Conjunction) ⇒ B)(implicit cmp: Ordering[B]): Conjunction

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  107. def mkString: String

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  108. def mkString(sep: String): String

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  109. def mkString(start: String, sep: String, end: String): String

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  110. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  111. def newBuilder: Builder[Conjunction, IndexedSeq[Conjunction]]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    GenericTraversableTemplate → HasNewBuilder
  112. def nonEmpty: Boolean

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  113. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  114. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  115. def orElse[A1 <: Int, B1 >: Conjunction](that: PartialFunction[A1, B1]): PartialFunction[A1, B1]

    Permalink
    Definition Classes
    PartialFunction
  116. val order: TermOrder

    Permalink
    Definition Classes
    NegatedConjunctionsSortedWithOrder
  117. def padTo[B >: Conjunction, That](len: Int, elem: B)(implicit bf: CanBuildFrom[IndexedSeq[Conjunction], B, That]): That

    Permalink
    Definition Classes
    SeqLike → GenSeqLike
  118. def par: ParSeq[Conjunction]

    Permalink
    Definition Classes
    Parallelizable
  119. def parCombiner: Combiner[Conjunction, ParSeq[Conjunction]]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    SeqLike → TraversableLike → Parallelizable
  120. def partition(p: (Conjunction) ⇒ Boolean): (IndexedSeq[Conjunction], IndexedSeq[Conjunction])

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  121. def patch[B >: Conjunction, That](from: Int, patch: GenSeq[B], replaced: Int)(implicit bf: CanBuildFrom[IndexedSeq[Conjunction], B, That]): That

    Permalink
    Definition Classes
    SeqLike → GenSeqLike
  122. def permutations: Iterator[IndexedSeq[Conjunction]]

    Permalink
    Definition Classes
    SeqLike
  123. lazy val predicates: Set[Predicate]

    Permalink
    Definition Classes
    NegatedConjunctionsSortedWithOrderTerFor
  124. def prefixLength(p: (Conjunction) ⇒ Boolean): Int

    Permalink
    Definition Classes
    GenSeqLike
  125. def product[B >: Conjunction](implicit num: Numeric[B]): B

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  126. def reduce[A1 >: Conjunction](op: (A1, A1) ⇒ A1): A1

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  127. def reduceLeft[B >: Conjunction](op: (B, Conjunction) ⇒ B): B

    Permalink
    Definition Classes
    TraversableOnce
  128. def reduceLeftOption[B >: Conjunction](op: (B, Conjunction) ⇒ B): Option[B]

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  129. def reduceOption[A1 >: Conjunction](op: (A1, A1) ⇒ A1): Option[A1]

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  130. def reduceRight[B >: Conjunction](op: (Conjunction, B) ⇒ B): B

    Permalink
    Definition Classes
    IterableLike → TraversableOnce → GenTraversableOnce
  131. def reduceRightOption[B >: Conjunction](op: (Conjunction, B) ⇒ B): Option[B]

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  132. def repr: IndexedSeq[Conjunction]

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  133. def reverse: IndexedSeq[Conjunction]

    Permalink
    Definition Classes
    SeqLike → GenSeqLike
  134. def reverseIterator: Iterator[Conjunction]

    Permalink
    Definition Classes
    SeqLike
  135. def reverseMap[B, That](f: (Conjunction) ⇒ B)(implicit bf: CanBuildFrom[IndexedSeq[Conjunction], B, That]): That

    Permalink
    Definition Classes
    SeqLike → GenSeqLike
  136. def reversed: List[Conjunction]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    TraversableOnce
  137. def runWith[U](action: (Conjunction) ⇒ U): (Int) ⇒ Boolean

    Permalink
    Definition Classes
    PartialFunction
  138. def sameElements[B >: Conjunction](that: GenIterable[B]): Boolean

    Permalink
    Definition Classes
    IterableLike → GenIterableLike
  139. def scan[B >: Conjunction, That](z: B)(op: (B, B) ⇒ B)(implicit cbf: CanBuildFrom[IndexedSeq[Conjunction], B, That]): That

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  140. def scanLeft[B, That](z: B)(op: (B, Conjunction) ⇒ B)(implicit bf: CanBuildFrom[IndexedSeq[Conjunction], B, That]): That

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  141. def scanRight[B, That](z: B)(op: (Conjunction, B) ⇒ B)(implicit bf: CanBuildFrom[IndexedSeq[Conjunction], B, That]): That

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

  142. def segmentLength(p: (Conjunction) ⇒ Boolean, from: Int): Int

    Permalink
    Definition Classes
    SeqLike → GenSeqLike
  143. def seq: IndexedSeq[Conjunction]

    Permalink
    Definition Classes
    IndexedSeq → IndexedSeqLike → Seq → GenSeq → GenSeqLike → Iterable → GenIterable → Traversable → GenTraversable → Parallelizable → TraversableOnce → GenTraversableOnce
  144. def size: Int

    Permalink
    Definition Classes
    SeqLike → GenTraversableLike → TraversableOnce → GenTraversableOnce
  145. def slice(from: Int, until: Int): IndexedSeq[Conjunction]

    Permalink
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  146. def sliding(size: Int, step: Int): Iterator[IndexedSeq[Conjunction]]

    Permalink
    Definition Classes
    IterableLike
  147. def sliding(size: Int): Iterator[IndexedSeq[Conjunction]]

    Permalink
    Definition Classes
    IterableLike
  148. def sortBy(newOrder: TermOrder): NegatedConjunctions

    Permalink

    Re-sort an object with a new TermOrder.

    Re-sort an object with a new TermOrder. It is guaranteed that the result isSortedBy(order)

    Definition Classes
    NegatedConjunctionsSorted
  149. def sortBy[B](f: (Conjunction) ⇒ B)(implicit ord: Ordering[B]): IndexedSeq[Conjunction]

    Permalink
    Definition Classes
    SeqLike
  150. def sortWith(lt: (Conjunction, Conjunction) ⇒ Boolean): IndexedSeq[Conjunction]

    Permalink
    Definition Classes
    SeqLike
  151. def sorted[B >: Conjunction](implicit ord: Ordering[B]): IndexedSeq[Conjunction]

    Permalink
    Definition Classes
    SeqLike
  152. def span(p: (Conjunction) ⇒ Boolean): (IndexedSeq[Conjunction], IndexedSeq[Conjunction])

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  153. def splitAt(n: Int): (IndexedSeq[Conjunction], IndexedSeq[Conjunction])

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  154. def startsWith[B](that: GenSeq[B], offset: Int): Boolean

    Permalink
    Definition Classes
    SeqLike → GenSeqLike
  155. def startsWith[B](that: GenSeq[B]): Boolean

    Permalink
    Definition Classes
    GenSeqLike
  156. def stringPrefix: String

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  157. def sum[B >: Conjunction](implicit num: Numeric[B]): B

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  158. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  159. def tail: IndexedSeq[Conjunction]

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  160. def tails: Iterator[IndexedSeq[Conjunction]]

    Permalink
    Definition Classes
    TraversableLike
  161. def take(n: Int): IndexedSeq[Conjunction]

    Permalink
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  162. def takeRight(n: Int): IndexedSeq[Conjunction]

    Permalink
    Definition Classes
    IterableLike
  163. def takeWhile(p: (Conjunction) ⇒ Boolean): IndexedSeq[Conjunction]

    Permalink
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  164. def thisCollection: IndexedSeq[Conjunction]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    IndexedSeqLike → SeqLike → IterableLike → TraversableLike
  165. def to[Col[_]](implicit cbf: CanBuildFrom[Nothing, Conjunction, Col[Conjunction]]): Col[Conjunction]

    Permalink
    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce
  166. def toArray[B >: Conjunction](implicit arg0: ClassTag[B]): Array[B]

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  167. def toBuffer[A1 >: Conjunction]: Buffer[A1]

    Permalink
    Definition Classes
    IndexedSeqLike → TraversableOnce → GenTraversableOnce
  168. def toCollection(repr: IndexedSeq[Conjunction]): IndexedSeq[Conjunction]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    IndexedSeqLike → SeqLike → IterableLike → TraversableLike
  169. def toIndexedSeq: IndexedSeq[Conjunction]

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  170. def toIterable: Iterable[Conjunction]

    Permalink
    Definition Classes
    IterableLike → TraversableOnce → GenTraversableOnce
  171. def toIterator: Iterator[Conjunction]

    Permalink
    Definition Classes
    IterableLike → TraversableLike → GenTraversableOnce
    Annotations
    @deprecatedOverriding( ... , "2.11.0" )
  172. def toList: List[Conjunction]

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  173. def toMap[T, U](implicit ev: <:<[Conjunction, (T, U)]): Map[T, U]

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  174. def toSeq: Seq[Conjunction]

    Permalink
    Definition Classes
    SeqLike → GenSeqLike → TraversableOnce → GenTraversableOnce
  175. def toSet[B >: Conjunction]: Set[B]

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  176. def toStream: Stream[Conjunction]

    Permalink
    Definition Classes
    IterableLike → TraversableLike → GenTraversableOnce
  177. def toString(): String

    Permalink
    Definition Classes
    NegatedConjunctions → SeqLike → TraversableLike → Function1 → AnyRef → Any
  178. def toTraversable: Traversable[Conjunction]

    Permalink
    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce
    Annotations
    @deprecatedOverriding( ... , "2.11.0" )
  179. def toVector: Vector[Conjunction]

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  180. def transpose[B](implicit asTraversable: (Conjunction) ⇒ GenTraversableOnce[B]): IndexedSeq[IndexedSeq[B]]

    Permalink
    Definition Classes
    GenericTraversableTemplate
    Annotations
    @migration
    Migration

    (Changed in version 2.9.0) transpose throws an IllegalArgumentException if collections are not uniformly sized.

  181. def union[B >: Conjunction, That](that: GenSeq[B])(implicit bf: CanBuildFrom[IndexedSeq[Conjunction], B, That]): That

    Permalink
    Definition Classes
    SeqLike → GenSeqLike
  182. def unzip[A1, A2](implicit asPair: (Conjunction) ⇒ (A1, A2)): (IndexedSeq[A1], IndexedSeq[A2])

    Permalink
    Definition Classes
    GenericTraversableTemplate
  183. def unzip3[A1, A2, A3](implicit asTriple: (Conjunction) ⇒ (A1, A2, A3)): (IndexedSeq[A1], IndexedSeq[A2], IndexedSeq[A3])

    Permalink
    Definition Classes
    GenericTraversableTemplate
  184. def update(newConjs: Iterable[Conjunction], newOrder: TermOrder): NegatedConjunctions

    Permalink
  185. def updateSubset(newConjs: Iterable[Conjunction], newOrder: TermOrder): NegatedConjunctions

    Permalink
  186. def updated[B >: Conjunction, That](index: Int, elem: B)(implicit bf: CanBuildFrom[IndexedSeq[Conjunction], B, That]): That

    Permalink
    Definition Classes
    SeqLike → GenSeqLike
  187. lazy val variables: Set[VariableTerm]

    Permalink
    Definition Classes
    NegatedConjunctionsTerFor
  188. def view(from: Int, until: Int): SeqView[Conjunction, IndexedSeq[Conjunction]]

    Permalink
    Definition Classes
    SeqLike → IterableLike → TraversableLike
  189. def view: SeqView[Conjunction, IndexedSeq[Conjunction]]

    Permalink
    Definition Classes
    SeqLike → IterableLike → TraversableLike
  190. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  191. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  192. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  193. def withFilter(p: (Conjunction) ⇒ Boolean): FilterMonadic[Conjunction, IndexedSeq[Conjunction]]

    Permalink
    Definition Classes
    TraversableLike → FilterMonadic
  194. def zip[A1 >: Conjunction, B, That](that: GenIterable[B])(implicit bf: CanBuildFrom[IndexedSeq[Conjunction], (A1, B), That]): That

    Permalink
    Definition Classes
    IterableLike → GenIterableLike
  195. def zipAll[B, A1 >: Conjunction, That](that: GenIterable[B], thisElem: A1, thatElem: B)(implicit bf: CanBuildFrom[IndexedSeq[Conjunction], (A1, B), That]): That

    Permalink
    Definition Classes
    IterableLike → GenIterableLike
  196. def zipWithIndex[A1 >: Conjunction, That](implicit bf: CanBuildFrom[IndexedSeq[Conjunction], (A1, Int), That]): That

    Permalink
    Definition Classes
    IterableLike → GenIterableLike

Inherited from IndexedSeq[Conjunction]

Inherited from IndexedSeqLike[Conjunction, IndexedSeq[Conjunction]]

Inherited from Seq[Conjunction]

Inherited from SeqLike[Conjunction, IndexedSeq[Conjunction]]

Inherited from GenSeq[Conjunction]

Inherited from GenSeqLike[Conjunction, IndexedSeq[Conjunction]]

Inherited from Iterable[Conjunction]

Inherited from IterableLike[Conjunction, IndexedSeq[Conjunction]]

Inherited from Equals

Inherited from GenIterable[Conjunction]

Inherited from GenIterableLike[Conjunction, IndexedSeq[Conjunction]]

Inherited from Traversable[Conjunction]

Inherited from GenTraversable[Conjunction]

Inherited from GenericTraversableTemplate[Conjunction, IndexedSeq]

Inherited from TraversableLike[Conjunction, IndexedSeq[Conjunction]]

Inherited from GenTraversableLike[Conjunction, IndexedSeq[Conjunction]]

Inherited from Parallelizable[Conjunction, ParSeq[Conjunction]]

Inherited from TraversableOnce[Conjunction]

Inherited from GenTraversableOnce[Conjunction]

Inherited from FilterMonadic[Conjunction, IndexedSeq[Conjunction]]

Inherited from HasNewBuilder[Conjunction, IndexedSeq[ap.terfor.conjunctions.Conjunction] @scala.annotation.unchecked.uncheckedVariance]

Inherited from PartialFunction[Int, Conjunction]

Inherited from (Int) ⇒ Conjunction

Inherited from Sorted[NegatedConjunctions]

Inherited from Formula

Inherited from TerFor

Inherited from AnyRef

Inherited from Any

Ungrouped