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
    AndLazyConjunction → LazyConjunction

  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
    AndLazyConjunction → LazyConjunction

  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
    AndLazyConjunction → LazyConjunction

  116. def toFormula: Formula

    Permalink
    Definition Classes
    AndLazyConjunction → LazyConjunction

  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