Packages

c

ap.terfor.conjunctions

AndLazyConjunction

case class AndLazyConjunction(left: LazyConjunction, right: LazyConjunction, newOrder: TermOrder) extends LazyConjunction with Iterable[Formula] with Product with Serializable

Attributes
protected
Linear Supertypes
Serializable, Product, Equals, Iterable[Formula], IterableFactoryDefaults[Formula, Iterable], IterableOps[Formula, Iterable, Iterable[Formula]], IterableOnceOps[Formula, Iterable, Iterable[Formula]], IterableOnce[Formula], LazyConjunction, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. AndLazyConjunction
  2. Serializable
  3. Product
  4. Equals
  5. Iterable
  6. IterableFactoryDefaults
  7. IterableOps
  8. IterableOnceOps
  9. IterableOnce
  10. LazyConjunction
  11. AnyRef
  12. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new AndLazyConjunction(left: LazyConjunction, right: LazyConjunction, newOrder: TermOrder)

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. def &(that: LazyConjunction)(implicit newOrder: TermOrder): LazyConjunction
    Definition Classes
    AndLazyConjunction → LazyConjunction
  4. final def ++[B >: Formula](suffix: IterableOnce[B]): Iterable[B]
    Definition Classes
    IterableOps
    Annotations
    @inline()
  5. def <=>(that: LazyConjunction)(implicit newOrder: TermOrder): LazyConjunction
    Definition Classes
    LazyConjunction
  6. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  7. def ==>(that: LazyConjunction)(implicit newOrder: TermOrder): LazyConjunction
    Definition Classes
    LazyConjunction
  8. final def addString(b: StringBuilder): b.type
    Definition Classes
    IterableOnceOps
    Annotations
    @inline()
  9. final def addString(b: StringBuilder, sep: String): b.type
    Definition Classes
    IterableOnceOps
    Annotations
    @inline()
  10. def addString(b: StringBuilder, start: String, sep: String, end: String): b.type
    Definition Classes
    IterableOnceOps
  11. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  12. def className: String
    Attributes
    protected[this]
    Definition Classes
    Iterable
  13. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @HotSpotIntrinsicCandidate() @native()
  14. final def coll: AndLazyConjunction.this.type
    Attributes
    protected
    Definition Classes
    Iterable → IterableOps
  15. def collect[B](pf: PartialFunction[Formula, B]): Iterable[B]
    Definition Classes
    IterableOps → IterableOnceOps
  16. def collectFirst[B](pf: PartialFunction[Formula, B]): Option[B]
    Definition Classes
    IterableOnceOps
  17. def concat[B >: Formula](suffix: IterableOnce[B]): Iterable[B]
    Definition Classes
    IterableOps
  18. def copyToArray[B >: Formula](xs: Array[B], start: Int, len: Int): Int
    Definition Classes
    IterableOnceOps
  19. def copyToArray[B >: Formula](xs: Array[B], start: Int): Int
    Definition Classes
    IterableOnceOps
    Annotations
    @deprecatedOverriding()
  20. def copyToArray[B >: Formula](xs: Array[B]): Int
    Definition Classes
    IterableOnceOps
    Annotations
    @deprecatedOverriding()
  21. def corresponds[B](that: IterableOnce[B])(p: (Formula, B) => Boolean): Boolean
    Definition Classes
    IterableOnceOps
  22. def count(p: (Formula) => Boolean): Int
    Definition Classes
    IterableOnceOps
  23. def drop(n: Int): Iterable[Formula]
    Definition Classes
    IterableOps → IterableOnceOps
  24. def dropRight(n: Int): Iterable[Formula]
    Definition Classes
    IterableOps
  25. def dropWhile(p: (Formula) => Boolean): Iterable[Formula]
    Definition Classes
    IterableOps → IterableOnceOps
  26. def empty: Iterable[Formula]
    Definition Classes
    IterableFactoryDefaults → IterableOps
  27. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  28. def exists(p: (Formula) => Boolean): Boolean
    Definition Classes
    IterableOnceOps
  29. def filter(pred: (Formula) => Boolean): Iterable[Formula]
    Definition Classes
    IterableOps → IterableOnceOps
  30. def filterNot(pred: (Formula) => Boolean): Iterable[Formula]
    Definition Classes
    IterableOps → IterableOnceOps
  31. def find(p: (Formula) => Boolean): Option[Formula]
    Definition Classes
    IterableOnceOps
  32. def flatMap[B](f: (Formula) => IterableOnce[B]): Iterable[B]
    Definition Classes
    IterableOps → IterableOnceOps
  33. def flatten[B](implicit asIterable: (Formula) => IterableOnce[B]): Iterable[B]
    Definition Classes
    IterableOps → IterableOnceOps
  34. def fold[A1 >: Formula](z: A1)(op: (A1, A1) => A1): A1
    Definition Classes
    IterableOnceOps
  35. def foldLeft[B](z: B)(op: (B, Formula) => B): B
    Definition Classes
    IterableOnceOps
  36. def foldRight[B](z: B)(op: (Formula, B) => B): B
    Definition Classes
    IterableOnceOps
  37. def forall(p: (Formula) => Boolean): Boolean
    Definition Classes
    IterableOnceOps
  38. def forceAnd: LazyConjunction
    Attributes
    protected[conjunctions]
    Definition Classes
    LazyConjunction
  39. def foreach[U](f: (Formula) => U): Unit
    Definition Classes
    IterableOnceOps
  40. def fromSpecific(coll: IterableOnce[Formula]): Iterable[Formula]
    Attributes
    protected
    Definition Classes
    IterableFactoryDefaults → IterableOps
  41. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  42. def groupBy[K](f: (Formula) => K): Map[K, Iterable[Formula]]
    Definition Classes
    IterableOps
  43. def groupMap[K, B](key: (Formula) => K)(f: (Formula) => B): Map[K, Iterable[B]]
    Definition Classes
    IterableOps
  44. def groupMapReduce[K, B](key: (Formula) => K)(f: (Formula) => B)(reduce: (B, B) => B): Map[K, B]
    Definition Classes
    IterableOps
  45. def grouped(size: Int): Iterator[Iterable[Formula]]
    Definition Classes
    IterableOps
  46. def head: Formula
    Definition Classes
    IterableOps
  47. def headOption: Option[Formula]
    Definition Classes
    IterableOps
  48. def init: Iterable[Formula]
    Definition Classes
    IterableOps
  49. def inits: Iterator[Iterable[Formula]]
    Definition Classes
    IterableOps
  50. def isEmpty: Boolean
    Definition Classes
    IterableOnceOps
  51. def isFalse: Boolean
    Definition Classes
    LazyConjunction
  52. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  53. def isTraversableAgain: Boolean
    Definition Classes
    IterableOps → IterableOnceOps
  54. def isTrue: Boolean
    Definition Classes
    LazyConjunction
  55. def iterableFactory: IterableFactory[Iterable]
    Definition Classes
    Iterable → IterableOps
  56. def iterator: Iterator[Formula]
    Definition Classes
    AndLazyConjunction → IterableOnce
  57. def knownSize: Int
    Definition Classes
    IterableOnce
  58. def last: Formula
    Definition Classes
    IterableOps
  59. def lastOption: Option[Formula]
    Definition Classes
    IterableOps
  60. def lazyZip[B](that: Iterable[B]): LazyZip2[Formula, B, AndLazyConjunction.this.type]
    Definition Classes
    Iterable
  61. val left: LazyConjunction
  62. def map[B](f: (Formula) => B): Iterable[B]
    Definition Classes
    IterableOps → IterableOnceOps
  63. def max[B >: Formula](implicit ord: Ordering[B]): Formula
    Definition Classes
    IterableOnceOps
  64. def maxBy[B](f: (Formula) => B)(implicit ord: Ordering[B]): Formula
    Definition Classes
    IterableOnceOps
  65. def maxByOption[B](f: (Formula) => B)(implicit ord: Ordering[B]): Option[Formula]
    Definition Classes
    IterableOnceOps
  66. def maxOption[B >: Formula](implicit ord: Ordering[B]): Option[Formula]
    Definition Classes
    IterableOnceOps
  67. def min[B >: Formula](implicit ord: Ordering[B]): Formula
    Definition Classes
    IterableOnceOps
  68. def minBy[B](f: (Formula) => B)(implicit ord: Ordering[B]): Formula
    Definition Classes
    IterableOnceOps
  69. def minByOption[B](f: (Formula) => B)(implicit ord: Ordering[B]): Option[Formula]
    Definition Classes
    IterableOnceOps
  70. def minOption[B >: Formula](implicit ord: Ordering[B]): Option[Formula]
    Definition Classes
    IterableOnceOps
  71. final def mkString: String
    Definition Classes
    IterableOnceOps
    Annotations
    @inline()
  72. final def mkString(sep: String): String
    Definition Classes
    IterableOnceOps
    Annotations
    @inline()
  73. final def mkString(start: String, sep: String, end: String): String
    Definition Classes
    IterableOnceOps
  74. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  75. def negate: LazyConjunction
    Definition Classes
    LazyConjunction
  76. val newOrder: TermOrder
  77. def newSpecificBuilder: Builder[Formula, Iterable[Formula]]
    Attributes
    protected
    Definition Classes
    IterableFactoryDefaults → IterableOps
  78. def nonEmpty: Boolean
    Definition Classes
    IterableOnceOps
    Annotations
    @deprecatedOverriding()
  79. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  80. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  81. def order: TermOrder
    Attributes
    protected[ap]
    Definition Classes
    AndLazyConjunction → LazyConjunction
  82. def partition(p: (Formula) => Boolean): (Iterable[Formula], Iterable[Formula])
    Definition Classes
    IterableOps
  83. def partitionMap[A1, A2](f: (Formula) => Either[A1, A2]): (Iterable[A1], Iterable[A2])
    Definition Classes
    IterableOps
  84. def product[B >: Formula](implicit num: Numeric[B]): B
    Definition Classes
    IterableOnceOps
  85. def productElementNames: Iterator[String]
    Definition Classes
    Product
  86. def reduce[B >: Formula](op: (B, B) => B): B
    Definition Classes
    IterableOnceOps
  87. def reduceLeft[B >: Formula](op: (B, Formula) => B): B
    Definition Classes
    IterableOnceOps
  88. def reduceLeftOption[B >: Formula](op: (B, Formula) => B): Option[B]
    Definition Classes
    IterableOnceOps
  89. def reduceOption[B >: Formula](op: (B, B) => B): Option[B]
    Definition Classes
    IterableOnceOps
  90. def reduceRight[B >: Formula](op: (Formula, B) => B): B
    Definition Classes
    IterableOnceOps
  91. def reduceRightOption[B >: Formula](op: (Formula, B) => B): Option[B]
    Definition Classes
    IterableOnceOps
  92. def reversed: Iterable[Formula]
    Attributes
    protected
    Definition Classes
    IterableOnceOps
  93. val right: LazyConjunction
  94. def scan[B >: Formula](z: B)(op: (B, B) => B): Iterable[B]
    Definition Classes
    IterableOps
  95. def scanLeft[B](z: B)(op: (B, Formula) => B): Iterable[B]
    Definition Classes
    IterableOps → IterableOnceOps
  96. def scanRight[B](z: B)(op: (Formula, B) => B): Iterable[B]
    Definition Classes
    IterableOps
  97. def size: Int
    Definition Classes
    IterableOnceOps
  98. def sizeCompare(that: Iterable[_]): Int
    Definition Classes
    IterableOps
  99. def sizeCompare(otherSize: Int): Int
    Definition Classes
    IterableOps
  100. final def sizeIs: SizeCompareOps
    Definition Classes
    IterableOps
    Annotations
    @inline()
  101. def slice(from: Int, until: Int): Iterable[Formula]
    Definition Classes
    IterableOps → IterableOnceOps
  102. def sliding(size: Int, step: Int): Iterator[Iterable[Formula]]
    Definition Classes
    IterableOps
  103. def sliding(size: Int): Iterator[Iterable[Formula]]
    Definition Classes
    IterableOps
  104. def span(p: (Formula) => Boolean): (Iterable[Formula], Iterable[Formula])
    Definition Classes
    IterableOps → IterableOnceOps
  105. def splitAt(n: Int): (Iterable[Formula], Iterable[Formula])
    Definition Classes
    IterableOps → IterableOnceOps
  106. def stepper[S <: Stepper[_]](implicit shape: StepperShape[Formula, S]): S
    Definition Classes
    IterableOnce
  107. def stringPrefix: String
    Attributes
    protected[this]
    Definition Classes
    Iterable
    Annotations
    @deprecatedOverriding()
  108. def sum[B >: Formula](implicit num: Numeric[B]): B
    Definition Classes
    IterableOnceOps
  109. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  110. def tail: Iterable[Formula]
    Definition Classes
    IterableOps
  111. def tails: Iterator[Iterable[Formula]]
    Definition Classes
    IterableOps
  112. def take(n: Int): Iterable[Formula]
    Definition Classes
    IterableOps → IterableOnceOps
  113. def takeRight(n: Int): Iterable[Formula]
    Definition Classes
    IterableOps
  114. def takeWhile(p: (Formula) => Boolean): Iterable[Formula]
    Definition Classes
    IterableOps → IterableOnceOps
  115. def tapEach[U](f: (Formula) => U): Iterable[Formula]
    Definition Classes
    IterableOps → IterableOnceOps
  116. def to[C1](factory: Factory[Formula, C1]): C1
    Definition Classes
    IterableOnceOps
  117. def toArray[B >: Formula](implicit arg0: ClassTag[B]): Array[B]
    Definition Classes
    IterableOnceOps
  118. final def toBuffer[B >: Formula]: Buffer[B]
    Definition Classes
    IterableOnceOps
    Annotations
    @inline()
  119. def toConjunction: Conjunction
    Definition Classes
    AndLazyConjunction → LazyConjunction
  120. def toFormula: Formula
    Definition Classes
    AndLazyConjunction → LazyConjunction
  121. def toIndexedSeq: IndexedSeq[Formula]
    Definition Classes
    IterableOnceOps
  122. def toList: List[Formula]
    Definition Classes
    IterableOnceOps
  123. def toMap[K, V](implicit ev: <:<[Formula, (K, V)]): Map[K, V]
    Definition Classes
    IterableOnceOps
  124. def toSeq: Seq[Formula]
    Definition Classes
    IterableOnceOps
  125. def toSet[B >: Formula]: Set[B]
    Definition Classes
    IterableOnceOps
  126. def toString(): String
    Definition Classes
    Iterable → AnyRef → Any
  127. def toVector: Vector[Formula]
    Definition Classes
    IterableOnceOps
  128. def transpose[B](implicit asIterable: (Formula) => Iterable[B]): Iterable[Iterable[B]]
    Definition Classes
    IterableOps
  129. def unary_!: LazyConjunction
    Definition Classes
    LazyConjunction
  130. def unzip[A1, A2](implicit asPair: (Formula) => (A1, A2)): (Iterable[A1], Iterable[A2])
    Definition Classes
    IterableOps
  131. def unzip3[A1, A2, A3](implicit asTriple: (Formula) => (A1, A2, A3)): (Iterable[A1], Iterable[A2], Iterable[A3])
    Definition Classes
    IterableOps
  132. def view: View[Formula]
    Definition Classes
    IterableOps
  133. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  134. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  135. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  136. def withFilter(p: (Formula) => Boolean): WithFilter[Formula, Iterable]
    Definition Classes
    IterableOps
  137. def zip[B](that: IterableOnce[B]): Iterable[(Formula, B)]
    Definition Classes
    IterableOps
  138. def zipAll[A1 >: Formula, B](that: Iterable[B], thisElem: A1, thatElem: B): Iterable[(A1, B)]
    Definition Classes
    IterableOps
  139. def zipWithIndex: Iterable[(Formula, Int)]
    Definition Classes
    IterableOps → IterableOnceOps
  140. def |(that: LazyConjunction)(implicit newOrder: TermOrder): LazyConjunction
    Definition Classes
    LazyConjunction

Deprecated Value Members

  1. def ++:[B >: Formula](that: IterableOnce[B]): Iterable[B]
    Definition Classes
    IterableOps
    Annotations
    @deprecated
    Deprecated

    (Since version 2.13.0) Use ++ instead of ++: for collections of type Iterable

  2. final def /:[B](z: B)(op: (B, Formula) => B): B
    Definition Classes
    IterableOnceOps
    Annotations
    @deprecated @inline()
    Deprecated

    (Since version 2.13.0) Use foldLeft instead of /:

  3. final def :\[B](z: B)(op: (Formula, B) => B): B
    Definition Classes
    IterableOnceOps
    Annotations
    @deprecated @inline()
    Deprecated

    (Since version 2.13.0) Use foldRight instead of :\

  4. def aggregate[B](z: => B)(seqop: (B, Formula) => B, combop: (B, B) => B): B
    Definition Classes
    IterableOnceOps
    Annotations
    @deprecated
    Deprecated

    (Since version 2.13.0) For sequential collections, prefer foldLeft(z)(seqop). For parallel collections, use ParIterableLike#aggregate.

  5. def companion: IterableFactory[Iterable]
    Definition Classes
    IterableOps
    Annotations
    @deprecated @deprecatedOverriding() @inline()
    Deprecated

    (Since version 2.13.0) Use iterableFactory instead

  6. final def copyToBuffer[B >: Formula](dest: Buffer[B]): Unit
    Definition Classes
    IterableOnceOps
    Annotations
    @deprecated @inline()
    Deprecated

    (Since version 2.13.0) Use dest ++= coll instead

  7. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated

    (Since version 9)

  8. def hasDefiniteSize: Boolean
    Definition Classes
    IterableOnceOps
    Annotations
    @deprecated
    Deprecated

    (Since version 2.13.0) Check .knownSize instead of .hasDefiniteSize for more actionable information (see scaladoc for details)

  9. final def repr: Iterable[Formula]
    Definition Classes
    IterableOps
    Annotations
    @deprecated
    Deprecated

    (Since version 2.13.0) Use coll instead of repr in a collection implementation, use the collection value itself from the outside

  10. def seq: AndLazyConjunction.this.type
    Definition Classes
    Iterable
    Annotations
    @deprecated
    Deprecated

    (Since version 2.13.0) Iterable.seq always returns the iterable itself

  11. final def toIterable: AndLazyConjunction.this.type
    Definition Classes
    Iterable → IterableOps
    Annotations
    @deprecated
    Deprecated

    (Since version 2.13.7) toIterable is internal and will be made protected; its name is similar to toList or toSeq, but it doesn't copy non-immutable collections

  12. final def toIterator: Iterator[Formula]
    Definition Classes
    IterableOnceOps
    Annotations
    @deprecated @inline()
    Deprecated

    (Since version 2.13.0) Use .iterator instead of .toIterator

  13. final def toStream: Stream[Formula]
    Definition Classes
    IterableOnceOps
    Annotations
    @deprecated @inline()
    Deprecated

    (Since version 2.13.0) Use .to(LazyList) instead of .toStream

  14. final def toTraversable: Traversable[Formula]
    Definition Classes
    IterableOps
    Annotations
    @deprecated
    Deprecated

    (Since version 2.13.0) toTraversable is internal and will be made protected; its name is similar to toList or toSeq, but it doesn't copy non-immutable collections

  15. def view(from: Int, until: Int): View[Formula]
    Definition Classes
    IterableOps
    Annotations
    @deprecated
    Deprecated

    (Since version 2.13.0) Use .view.slice(from, until) instead of .view(from, until)

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from Iterable[Formula]

Inherited from IterableFactoryDefaults[Formula, Iterable]

Inherited from IterableOps[Formula, Iterable, Iterable[Formula]]

Inherited from IterableOnceOps[Formula, Iterable, Iterable[Formula]]

Inherited from IterableOnce[Formula]

Inherited from LazyConjunction

Inherited from AnyRef

Inherited from Any

Ungrouped