Class

ap.terfor.conjunctions

AndLazyConjunction

Related Doc: package conjunctions

Permalink

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

Attributes
protected
Linear Supertypes
Serializable, Serializable, Product, Iterable[Formula], IterableLike[Formula, Iterable[Formula]], Equals, GenIterable[Formula], GenIterableLike[Formula, Iterable[Formula]], Traversable[Formula], GenTraversable[Formula], GenericTraversableTemplate[Formula, Iterable], TraversableLike[Formula, Iterable[Formula]], GenTraversableLike[Formula, Iterable[Formula]], Parallelizable[Formula, ParIterable[Formula]], TraversableOnce[Formula], GenTraversableOnce[Formula], FilterMonadic[Formula, Iterable[Formula]], HasNewBuilder[Formula, Iterable[ap.terfor.Formula] @scala.annotation.unchecked.uncheckedVariance], LazyConjunction, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. AndLazyConjunction
  2. Serializable
  3. Serializable
  4. Product
  5. Iterable
  6. IterableLike
  7. Equals
  8. GenIterable
  9. GenIterableLike
  10. Traversable
  11. GenTraversable
  12. GenericTraversableTemplate
  13. TraversableLike
  14. GenTraversableLike
  15. Parallelizable
  16. TraversableOnce
  17. GenTraversableOnce
  18. FilterMonadic
  19. HasNewBuilder
  20. LazyConjunction
  21. AnyRef
  22. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

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

    Permalink

Type Members

  1. type Self = Iterable[Formula]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    TraversableLike
  2. 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: LazyConjunction)(implicit newOrder: TermOrder): LazyConjunction

    Permalink
    Definition Classes
    AndLazyConjunctionLazyConjunction
  4. def ++[B >: Formula, That](that: GenTraversableOnce[B])(implicit bf: CanBuildFrom[Iterable[Formula], B, That]): That

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  5. def ++:[B >: Formula, That](that: Traversable[B])(implicit bf: CanBuildFrom[Iterable[Formula], B, That]): That

    Permalink
    Definition Classes
    TraversableLike
  6. def ++:[B >: Formula, That](that: TraversableOnce[B])(implicit bf: CanBuildFrom[Iterable[Formula], B, That]): That

    Permalink
    Definition Classes
    TraversableLike
  7. def /:[B](z: B)(op: (B, Formula) ⇒ B): B

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  8. def :\[B](z: B)(op: (Formula, B) ⇒ B): B

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  9. def <=>(that: LazyConjunction)(implicit newOrder: TermOrder): LazyConjunction

    Permalink
    Definition Classes
    LazyConjunction
  10. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  11. def ==>(that: LazyConjunction)(implicit newOrder: TermOrder): LazyConjunction

    Permalink
    Definition Classes
    LazyConjunction
  12. def addString(b: StringBuilder): StringBuilder

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

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

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

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  16. final def asInstanceOf[T0]: T0

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

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

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

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

    Permalink
    Definition Classes
    TraversableOnce
  21. def companion: GenericCompanion[Iterable]

    Permalink
    Definition Classes
    Iterable → GenIterable → Traversable → GenTraversable → GenericTraversableTemplate
  22. def copyToArray[B >: Formula](xs: Array[B], start: Int, len: Int): Unit

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

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

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

    Permalink
    Definition Classes
    TraversableOnce
  26. def count(p: (Formula) ⇒ Boolean): Int

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  27. def drop(n: Int): Iterable[Formula]

    Permalink
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  28. def dropRight(n: Int): Iterable[Formula]

    Permalink
    Definition Classes
    IterableLike
  29. def dropWhile(p: (Formula) ⇒ Boolean): Iterable[Formula]

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  30. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  31. def exists(p: (Formula) ⇒ Boolean): Boolean

    Permalink
    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  32. def filter(p: (Formula) ⇒ Boolean): Iterable[Formula]

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  33. def filterNot(p: (Formula) ⇒ Boolean): Iterable[Formula]

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

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

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

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike → FilterMonadic
  37. def flatten[B](implicit asTraversable: (Formula) ⇒ GenTraversableOnce[B]): Iterable[B]

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

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

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

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

    Permalink
    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  42. def forceAnd: LazyConjunction

    Permalink
    Attributes
    protected[ap.terfor.conjunctions]
    Definition Classes
    LazyConjunction
  43. def foreach[U](f: (Formula) ⇒ U): Unit

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  46. def groupBy[K](f: (Formula) ⇒ K): Map[K, Iterable[Formula]]

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  47. def grouped(size: Int): Iterator[Iterable[Formula]]

    Permalink
    Definition Classes
    IterableLike
  48. def hasDefiniteSize: Boolean

    Permalink
    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce
  49. def head: Formula

    Permalink
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  50. def headOption: Option[Formula]

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  51. def init: Iterable[Formula]

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  52. def inits: Iterator[Iterable[Formula]]

    Permalink
    Definition Classes
    TraversableLike
  53. def isEmpty: Boolean

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

    Permalink
    Definition Classes
    LazyConjunction
  55. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  56. final def isTraversableAgain: Boolean

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

    Permalink
    Definition Classes
    LazyConjunction
  58. def iterator: Iterator[Formula]

    Permalink
    Definition Classes
    AndLazyConjunction → IterableLike → GenIterableLike
  59. def last: Formula

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  60. def lastOption: Option[Formula]

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  61. val left: LazyConjunction

    Permalink
  62. def map[B, That](f: (Formula) ⇒ B)(implicit bf: CanBuildFrom[Iterable[Formula], B, That]): That

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

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

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

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

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

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

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

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

    Permalink
    Definition Classes
    AnyRef
  71. def negate: LazyConjunction

    Permalink
    Definition Classes
    LazyConjunction
  72. def newBuilder: Builder[Formula, Iterable[Formula]]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    GenericTraversableTemplate → HasNewBuilder
  73. val newOrder: TermOrder

    Permalink
  74. def nonEmpty: Boolean

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

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

    Permalink
    Definition Classes
    AnyRef
  77. def order: TermOrder

    Permalink
    Attributes
    protected[ap]
    Definition Classes
    AndLazyConjunctionLazyConjunction
  78. def par: ParIterable[Formula]

    Permalink
    Definition Classes
    Parallelizable
  79. def parCombiner: Combiner[Formula, ParIterable[Formula]]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    TraversableLike → Parallelizable
  80. def partition(p: (Formula) ⇒ Boolean): (Iterable[Formula], Iterable[Formula])

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  81. def product[B >: Formula](implicit num: Numeric[B]): B

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

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

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

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

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

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

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  88. def repr: Iterable[Formula]

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  89. def reversed: List[Formula]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    TraversableOnce
  90. val right: LazyConjunction

    Permalink
  91. def sameElements[B >: Formula](that: GenIterable[B]): Boolean

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

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  93. def scanLeft[B, That](z: B)(op: (B, Formula) ⇒ B)(implicit bf: CanBuildFrom[Iterable[Formula], B, That]): That

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  94. def scanRight[B, That](z: B)(op: (Formula, B) ⇒ B)(implicit bf: CanBuildFrom[Iterable[Formula], 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.

  95. def seq: Iterable[Formula]

    Permalink
    Definition Classes
    Iterable → GenIterable → Traversable → GenTraversable → Parallelizable → TraversableOnce → GenTraversableOnce
  96. def size: Int

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  97. def slice(from: Int, until: Int): Iterable[Formula]

    Permalink
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  98. def sliding(size: Int, step: Int): Iterator[Iterable[Formula]]

    Permalink
    Definition Classes
    IterableLike
  99. def sliding(size: Int): Iterator[Iterable[Formula]]

    Permalink
    Definition Classes
    IterableLike
  100. def span(p: (Formula) ⇒ Boolean): (Iterable[Formula], Iterable[Formula])

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  101. def splitAt(n: Int): (Iterable[Formula], Iterable[Formula])

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  102. def stringPrefix: String

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

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

    Permalink
    Definition Classes
    AnyRef
  105. def tail: Iterable[Formula]

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  106. def tails: Iterator[Iterable[Formula]]

    Permalink
    Definition Classes
    TraversableLike
  107. def take(n: Int): Iterable[Formula]

    Permalink
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  108. def takeRight(n: Int): Iterable[Formula]

    Permalink
    Definition Classes
    IterableLike
  109. def takeWhile(p: (Formula) ⇒ Boolean): Iterable[Formula]

    Permalink
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  110. def thisCollection: Iterable[Formula]

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

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

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  113. def toBuffer[B >: Formula]: Buffer[B]

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  114. def toCollection(repr: Iterable[Formula]): Iterable[Formula]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    IterableLike → TraversableLike
  115. def toConjunction: Conjunction

    Permalink
    Definition Classes
    AndLazyConjunctionLazyConjunction
  116. def toFormula: Formula

    Permalink
    Definition Classes
    AndLazyConjunctionLazyConjunction
  117. def toIndexedSeq: IndexedSeq[Formula]

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  118. def toIterable: Iterable[Formula]

    Permalink
    Definition Classes
    IterableLike → TraversableOnce → GenTraversableOnce
  119. def toIterator: Iterator[Formula]

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

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

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  122. def toSeq: Seq[Formula]

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  123. def toSet[B >: Formula]: Set[B]

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  124. def toStream: Stream[Formula]

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

    Permalink
    Definition Classes
    TraversableLike → Any
  126. def toTraversable: Traversable[Formula]

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

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  128. def transpose[B](implicit asTraversable: (Formula) ⇒ GenTraversableOnce[B]): Iterable[Iterable[B]]

    Permalink
    Definition Classes
    GenericTraversableTemplate
    Annotations
    @migration
    Migration

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

  129. def unary_!: LazyConjunction

    Permalink
    Definition Classes
    LazyConjunction
  130. def unzip[A1, A2](implicit asPair: (Formula) ⇒ (A1, A2)): (Iterable[A1], Iterable[A2])

    Permalink
    Definition Classes
    GenericTraversableTemplate
  131. def unzip3[A1, A2, A3](implicit asTriple: (Formula) ⇒ (A1, A2, A3)): (Iterable[A1], Iterable[A2], Iterable[A3])

    Permalink
    Definition Classes
    GenericTraversableTemplate
  132. def view(from: Int, until: Int): IterableView[Formula, Iterable[Formula]]

    Permalink
    Definition Classes
    IterableLike → TraversableLike
  133. def view: IterableView[Formula, Iterable[Formula]]

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

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  137. def withFilter(p: (Formula) ⇒ Boolean): FilterMonadic[Formula, Iterable[Formula]]

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

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

    Permalink
    Definition Classes
    IterableLike → GenIterableLike
  140. def zipWithIndex[A1 >: Formula, That](implicit bf: CanBuildFrom[Iterable[Formula], (A1, Int), That]): That

    Permalink
    Definition Classes
    IterableLike → GenIterableLike
  141. def |(that: LazyConjunction)(implicit newOrder: TermOrder): LazyConjunction

    Permalink
    Definition Classes
    LazyConjunction

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Iterable[Formula]

Inherited from IterableLike[Formula, Iterable[Formula]]

Inherited from Equals

Inherited from GenIterable[Formula]

Inherited from GenIterableLike[Formula, Iterable[Formula]]

Inherited from Traversable[Formula]

Inherited from GenTraversable[Formula]

Inherited from GenericTraversableTemplate[Formula, Iterable]

Inherited from TraversableLike[Formula, Iterable[Formula]]

Inherited from GenTraversableLike[Formula, Iterable[Formula]]

Inherited from Parallelizable[Formula, ParIterable[Formula]]

Inherited from TraversableOnce[Formula]

Inherited from GenTraversableOnce[Formula]

Inherited from FilterMonadic[Formula, Iterable[Formula]]

Inherited from HasNewBuilder[Formula, Iterable[ap.terfor.Formula] @scala.annotation.unchecked.uncheckedVariance]

Inherited from LazyConjunction

Inherited from AnyRef

Inherited from Any

Ungrouped