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
    @HotSpotIntrinsicCandidate() @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 find(p: (Formula) ⇒ Boolean): Option[Formula]

    Permalink
    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce

  35. def flatMap[B, That](f: (Formula) ⇒ GenTraversableOnce[B])(implicit bf: CanBuildFrom[Iterable[Formula], B, That]): That

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike → FilterMonadic

  36. def flatten[B](implicit asTraversable: (Formula) ⇒ GenTraversableOnce[B]): Iterable[B]

    Permalink
    Definition Classes
    GenericTraversableTemplate

  37. def fold[A1 >: Formula](z: A1)(op: (A1, A1) ⇒ A1): A1

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce

  38. def foldLeft[B](z: B)(op: (B, Formula) ⇒ B): B

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce

  39. def foldRight[B](z: B)(op: (Formula, B) ⇒ B): B

    Permalink
    Definition Classes
    IterableLike → TraversableOnce → GenTraversableOnce

  40. def forall(p: (Formula) ⇒ Boolean): Boolean

    Permalink
    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce

  41. def forceAnd: LazyConjunction

    Permalink
    Attributes
    protected[ap.terfor.conjunctions]
    Definition Classes
    LazyConjunction

  42. def foreach[U](f: (Formula) ⇒ U): Unit

    Permalink
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike → TraversableOnce → GenTraversableOnce → FilterMonadic

  43. def genericBuilder[B]: Builder[B, Iterable[B]]

    Permalink
    Definition Classes
    GenericTraversableTemplate

  44. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()

  45. def groupBy[K](f: (Formula) ⇒ K): Map[K, Iterable[Formula]]

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike

  46. def grouped(size: Int): Iterator[Iterable[Formula]]

    Permalink
    Definition Classes
    IterableLike

  47. def hasDefiniteSize: Boolean

    Permalink
    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce

  48. def head: Formula

    Permalink
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike

  49. def headOption: Option[Formula]

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike

  50. def init: Iterable[Formula]

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike

  51. def inits: Iterator[Iterable[Formula]]

    Permalink
    Definition Classes
    TraversableLike

  52. def isEmpty: Boolean

    Permalink
    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce

  53. def isFalse: Boolean

    Permalink
    Definition Classes
    LazyConjunction

  54. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  55. final def isTraversableAgain: Boolean

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike → GenTraversableOnce

  56. def isTrue: Boolean

    Permalink
    Definition Classes
    LazyConjunction

  57. def iterator: Iterator[Formula]

    Permalink
    Definition Classes
    AndLazyConjunction → IterableLike → GenIterableLike

  58. def last: Formula

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike

  59. def lastOption: Option[Formula]

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike

  60. val left: LazyConjunction

    Permalink

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

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike → FilterMonadic

  62. def max[B >: Formula](implicit cmp: Ordering[B]): Formula

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce

  63. def maxBy[B](f: (Formula) ⇒ B)(implicit cmp: Ordering[B]): Formula

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce

  64. def min[B >: Formula](implicit cmp: Ordering[B]): Formula

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce

  65. def minBy[B](f: (Formula) ⇒ B)(implicit cmp: Ordering[B]): Formula

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce

  66. def mkString: String

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce

  67. def mkString(sep: String): String

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce

  68. def mkString(start: String, sep: String, end: String): String

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce

  69. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  70. def negate: LazyConjunction

    Permalink
    Definition Classes
    LazyConjunction

  71. def newBuilder: Builder[Formula, Iterable[Formula]]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    GenericTraversableTemplate → HasNewBuilder

  72. val newOrder: TermOrder

    Permalink

  73. def nonEmpty: Boolean

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce

  74. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()

  75. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()

  76. def order: TermOrder

    Permalink
    Attributes
    protected[ap]
    Definition Classes
    AndLazyConjunction → LazyConjunction

  77. def par: ParIterable[Formula]

    Permalink
    Definition Classes
    Parallelizable

  78. def parCombiner: Combiner[Formula, ParIterable[Formula]]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    TraversableLike → Parallelizable

  79. def partition(p: (Formula) ⇒ Boolean): (Iterable[Formula], Iterable[Formula])

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike

  80. def product[B >: Formula](implicit num: Numeric[B]): B

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce

  81. def reduce[A1 >: Formula](op: (A1, A1) ⇒ A1): A1

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce

  82. def reduceLeft[B >: Formula](op: (B, Formula) ⇒ B): B

    Permalink
    Definition Classes
    TraversableOnce

  83. def reduceLeftOption[B >: Formula](op: (B, Formula) ⇒ B): Option[B]

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce

  84. def reduceOption[A1 >: Formula](op: (A1, A1) ⇒ A1): Option[A1]

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce

  85. def reduceRight[B >: Formula](op: (Formula, B) ⇒ B): B

    Permalink
    Definition Classes
    IterableLike → TraversableOnce → GenTraversableOnce

  86. def reduceRightOption[B >: Formula](op: (Formula, B) ⇒ B): Option[B]

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce

  87. def repr: Iterable[Formula]

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike

  88. def reversed: List[Formula]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    TraversableOnce

  89. val right: LazyConjunction

    Permalink

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

    Permalink
    Definition Classes
    IterableLike → GenIterableLike

  91. def scan[B >: Formula, That](z: B)(op: (B, B) ⇒ B)(implicit cbf: CanBuildFrom[Iterable[Formula], B, That]): That

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike

  92. def scanLeft[B, That](z: B)(op: (B, Formula) ⇒ B)(implicit bf: CanBuildFrom[Iterable[Formula], B, That]): That

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike

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

  94. def seq: Iterable[Formula]

    Permalink
    Definition Classes
    Iterable → GenIterable → Traversable → GenTraversable → Parallelizable → TraversableOnce → GenTraversableOnce

  95. def size: Int

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce

  96. def slice(from: Int, until: Int): Iterable[Formula]

    Permalink
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike

  97. def sliding(size: Int, step: Int): Iterator[Iterable[Formula]]

    Permalink
    Definition Classes
    IterableLike

  98. def sliding(size: Int): Iterator[Iterable[Formula]]

    Permalink
    Definition Classes
    IterableLike

  99. def span(p: (Formula) ⇒ Boolean): (Iterable[Formula], Iterable[Formula])

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike

  100. def splitAt(n: Int): (Iterable[Formula], Iterable[Formula])

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike

  101. def stringPrefix: String

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike

  102. def sum[B >: Formula](implicit num: Numeric[B]): B

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce

  103. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef

  104. def tail: Iterable[Formula]

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike

  105. def tails: Iterator[Iterable[Formula]]

    Permalink
    Definition Classes
    TraversableLike

  106. def take(n: Int): Iterable[Formula]

    Permalink
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike

  107. def takeRight(n: Int): Iterable[Formula]

    Permalink
    Definition Classes
    IterableLike

  108. def takeWhile(p: (Formula) ⇒ Boolean): Iterable[Formula]

    Permalink
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike

  109. def thisCollection: Iterable[Formula]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    IterableLike → TraversableLike

  110. def to[Col[_]](implicit cbf: CanBuildFrom[Nothing, Formula, Col[Formula]]): Col[Formula]

    Permalink
    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce

  111. def toArray[B >: Formula](implicit arg0: ClassTag[B]): Array[B]

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce

  112. def toBuffer[B >: Formula]: Buffer[B]

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce

  113. def toCollection(repr: Iterable[Formula]): Iterable[Formula]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    IterableLike → TraversableLike

  114. def toConjunction: Conjunction

    Permalink
    Definition Classes
    AndLazyConjunction → LazyConjunction

  115. def toFormula: Formula

    Permalink
    Definition Classes
    AndLazyConjunction → LazyConjunction

  116. def toIndexedSeq: IndexedSeq[Formula]

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce

  117. def toIterable: Iterable[Formula]

    Permalink
    Definition Classes
    IterableLike → TraversableOnce → GenTraversableOnce

  118. def toIterator: Iterator[Formula]

    Permalink
    Definition Classes
    IterableLike → TraversableLike → GenTraversableOnce
    Annotations
    @deprecatedOverriding( ... , "2.11.0" )

  119. def toList: List[Formula]

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce

  120. def toMap[T, U](implicit ev: <:<[Formula, (T, U)]): Map[T, U]

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce

  121. def toSeq: Seq[Formula]

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce

  122. def toSet[B >: Formula]: Set[B]

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce

  123. def toStream: Stream[Formula]

    Permalink
    Definition Classes
    IterableLike → TraversableLike → GenTraversableOnce

  124. def toString(): String

    Permalink
    Definition Classes
    TraversableLike → Any

  125. def toTraversable: Traversable[Formula]

    Permalink
    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce
    Annotations
    @deprecatedOverriding( ... , "2.11.0" )

  126. def toVector: Vector[Formula]

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce

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

  128. def unary_!: LazyConjunction

    Permalink
    Definition Classes
    LazyConjunction

  129. def unzip[A1, A2](implicit asPair: (Formula) ⇒ (A1, A2)): (Iterable[A1], Iterable[A2])

    Permalink
    Definition Classes
    GenericTraversableTemplate

  130. def unzip3[A1, A2, A3](implicit asTriple: (Formula) ⇒ (A1, A2, A3)): (Iterable[A1], Iterable[A2], Iterable[A3])

    Permalink
    Definition Classes
    GenericTraversableTemplate

  131. def view(from: Int, until: Int): IterableView[Formula, Iterable[Formula]]

    Permalink
    Definition Classes
    IterableLike → TraversableLike

  132. def view: IterableView[Formula, Iterable[Formula]]

    Permalink
    Definition Classes
    IterableLike → TraversableLike

  133. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  134. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  135. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  136. def withFilter(p: (Formula) ⇒ Boolean): FilterMonadic[Formula, Iterable[Formula]]

    Permalink
    Definition Classes
    TraversableLike → FilterMonadic

  137. def zip[A1 >: Formula, B, That](that: GenIterable[B])(implicit bf: CanBuildFrom[Iterable[Formula], (A1, B), That]): That

    Permalink
    Definition Classes
    IterableLike → GenIterableLike

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

  139. def zipWithIndex[A1 >: Formula, That](implicit bf: CanBuildFrom[Iterable[Formula], (A1, Int), That]): That

    Permalink
    Definition Classes
    IterableLike → GenIterableLike

  140. def |(that: LazyConjunction)(implicit newOrder: TermOrder): LazyConjunction

    Permalink
    Definition Classes
    LazyConjunction

Deprecated Value Members

  1. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

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