NegatedConjunctions

Value Members

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

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

3. def &(that: NegatedConjunctions)(implicit newOrder: TermOrder): NegatedConjunctions

   

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

   

   Add a further negated conjunction.

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

   

   Definition Classes

   TraversableLike → GenTraversableLike

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

   

   Definition Classes

   TraversableLike

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

   

   Definition Classes

   TraversableLike

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

   

   Definition Classes

   SeqLike → GenSeqLike

9. def --(that: NegatedConjunctions): NegatedConjunctions

   

   Remove some negated conjunctions.

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

    

    Definition Classes

    TraversableOnce → GenTraversableOnce

11. def :+[B >: Conjunction, That](elem: B)(implicit bf: CanBuildFrom[IndexedSeq[Conjunction], B, That]): That

    

    Definition Classes

    SeqLike → GenSeqLike

12. def :\[B](z: B)(op: (Conjunction, B) ⇒ B): B

    

    Definition Classes

    TraversableOnce → GenTraversableOnce

13. final def ==(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

14. def addString(b: StringBuilder): StringBuilder

    

    Definition Classes

    TraversableOnce

15. def addString(b: StringBuilder, sep: String): StringBuilder

    

    Definition Classes

    TraversableOnce

16. def addString(b: StringBuilder, start: String, sep: String, end: String): StringBuilder

    

    Definition Classes

    TraversableOnce

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

    

    Definition Classes

    TraversableOnce → GenTraversableOnce

18. def andThen[C](k: (Conjunction) ⇒ C): PartialFunction[Int, C]

    

    Definition Classes

    PartialFunction → Function1

19. def apply(i: Int): Conjunction

    

    Definition Classes

    NegatedConjunctions → SeqLike → GenSeqLike → Function1

20. def applyOrElse[A1 <: Int, B1 >: Conjunction](x: A1, default: (A1) ⇒ B1): B1

    

    Definition Classes

    PartialFunction

21. final def asInstanceOf[T0]: T0

    

    Definition Classes

    Any

22. def canEqual(that: Any): Boolean

    

    Definition Classes

    IterableLike → Equals

23. def clone(): AnyRef

    

    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

    

    Definition Classes

    TraversableLike → GenTraversableLike

25. def collectFirst[B](pf: PartialFunction[Conjunction, B]): Option[B]

    

    Definition Classes

    TraversableOnce

26. def combinations(n: Int): Iterator[IndexedSeq[Conjunction]]

    

    Definition Classes

    SeqLike

27. def companion: GenericCompanion[IndexedSeq]

    

    Definition Classes

    IndexedSeq → Seq → GenSeq → Iterable → GenIterable → Traversable → GenTraversable → GenericTraversableTemplate

28. def compose[A](g: (A) ⇒ Int): (A) ⇒ Conjunction

    

    Definition Classes

    Function1

    Annotations

    @unspecialized()

29. lazy val constants: Set[ConstantTerm]

    

    Definition Classes

    NegatedConjunctions → SortedWithOrder → TerFor

30. def contains[A1 >: Conjunction](elem: A1): Boolean

    

    Definition Classes

    SeqLike

31. def containsLiteral: Boolean

    

32. def containsNegatedConjunction: Boolean

    

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

    

    Definition Classes

    SeqLike

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

    

    Definition Classes

    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce

35. def copyToArray[B >: Conjunction](xs: Array[B]): Unit

    

    Definition Classes

    TraversableOnce → GenTraversableOnce

36. def copyToArray[B >: Conjunction](xs: Array[B], start: Int): Unit

    

    Definition Classes

    TraversableOnce → GenTraversableOnce

37. def copyToBuffer[B >: Conjunction](dest: Buffer[B]): Unit

    

    Definition Classes

    TraversableOnce

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

    

    Definition Classes

    SeqLike → GenSeqLike

39. def count(p: (Conjunction) ⇒ Boolean): Int

    

    Definition Classes

    TraversableOnce → GenTraversableOnce

40. def diff(oldConj: NegatedConjunctions): (NegatedConjunctions, NegatedConjunctions)

    

    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]

    

    Definition Classes

    SeqLike → GenSeqLike

42. def distinct: IndexedSeq[Conjunction]

    

    Definition Classes

    SeqLike → GenSeqLike

43. def drop(n: Int): IndexedSeq[Conjunction]

    

    Definition Classes

    IterableLike → TraversableLike → GenTraversableLike

44. def dropRight(n: Int): IndexedSeq[Conjunction]

    

    Definition Classes

    IterableLike

45. def dropWhile(p: (Conjunction) ⇒ Boolean): IndexedSeq[Conjunction]

    

    Definition Classes

    TraversableLike → GenTraversableLike

46. def elements: Iterator[Conjunction]

    

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

    

    Definition Classes

    SeqLike → GenSeqLike

48. final def eq(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

49. def equals(that: Any): Boolean

    

    Definition Classes

    NegatedConjunctions → GenSeqLike → Equals → AnyRef → Any

50. def exists(p: (Conjunction) ⇒ Boolean): Boolean

    

    Definition Classes

    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce

51. def filter(p: (Conjunction) ⇒ Boolean): IndexedSeq[Conjunction]

    

    Definition Classes

    TraversableLike → GenTraversableLike

52. def filterNot(p: (Conjunction) ⇒ Boolean): IndexedSeq[Conjunction]

    

    Definition Classes

    TraversableLike → GenTraversableLike

53. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

54. def find(p: (Conjunction) ⇒ Boolean): Option[Conjunction]

    

    Definition Classes

    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce

55. def flatMap[B, That](f: (Conjunction) ⇒ GenTraversableOnce[B])(implicit bf: CanBuildFrom[IndexedSeq[Conjunction], B, That]): That

    

    Definition Classes

    TraversableLike → GenTraversableLike → FilterMonadic

56. def flatten[B](implicit asTraversable: (Conjunction) ⇒ GenTraversableOnce[B]): IndexedSeq[B]

    

    Definition Classes

    GenericTraversableTemplate

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

    

    Definition Classes

    TraversableOnce → GenTraversableOnce

58. def foldLeft[B](z: B)(op: (B, Conjunction) ⇒ B): B

    

    Definition Classes

    TraversableOnce → GenTraversableOnce

59. def foldRight[B](z: B)(op: (Conjunction, B) ⇒ B): B

    

    Definition Classes

    IterableLike → TraversableOnce → GenTraversableOnce

60. def forall(p: (Conjunction) ⇒ Boolean): Boolean

    

    Definition Classes

    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce

61. def foreach[U](f: (Conjunction) ⇒ U): Unit

    

    Definition Classes

    IterableLike → TraversableLike → GenTraversableLike → TraversableOnce → GenTraversableOnce → FilterMonadic

62. def genericBuilder[B]: Builder[B, IndexedSeq[B]]

    

    Definition Classes

    GenericTraversableTemplate

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

    

    Definition Classes

    AnyRef → Any

64. lazy val groundAtoms: Set[Atom]

    

    Definition Classes

    NegatedConjunctions → Formula

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

    

    Definition Classes

    TraversableLike → GenTraversableLike

66. def grouped(size: Int): Iterator[IndexedSeq[Conjunction]]

    

    Definition Classes

    IterableLike

67. def hasDefiniteSize: Boolean

    

    Definition Classes

    TraversableLike → TraversableOnce → GenTraversableOnce

68. def hashCode(): Int

    

    Definition Classes

    NegatedConjunctions → IndexedSeqLike → GenSeqLike → AnyRef → Any

69. def head: Conjunction

    

    Definition Classes

    IterableLike → TraversableLike → GenTraversableLike

70. def headOption: Option[Conjunction]

    

    Definition Classes

    TraversableLike → GenTraversableLike

71. def implies(that: NegatedConjunctions): Boolean

    

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

    

    Definition Classes

    GenSeqLike

73. def indexOf[B >: Conjunction](elem: B): Int

    

    Definition Classes

    GenSeqLike

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

    

    Definition Classes

    SeqLike

75. def indexOfSlice[B >: Conjunction](that: GenSeq[B]): Int

    

    Definition Classes

    SeqLike

76. def indexWhere(p: (Conjunction) ⇒ Boolean, from: Int): Int

    

    Definition Classes

    SeqLike → GenSeqLike

77. def indexWhere(p: (Conjunction) ⇒ Boolean): Int

    

    Definition Classes

    GenSeqLike

78. def indices: Range

    

    Definition Classes

    SeqLike

79. def init: IndexedSeq[Conjunction]

    

    Definition Classes

    TraversableLike → GenTraversableLike

80. def inits: Iterator[IndexedSeq[Conjunction]]

    

    Definition Classes

    TraversableLike

81. def intersect[B >: Conjunction](that: GenSeq[B]): IndexedSeq[Conjunction]

    

    Definition Classes

    SeqLike → GenSeqLike

82. def isDefinedAt(idx: Int): Boolean

    

    Definition Classes

    GenSeqLike

83. def isEmpty: Boolean

    

    Definition Classes

    SeqLike → IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce

84. def isFalse: Boolean

    

    Return true if this formula is obviously always false

    Return true if this formula is obviously always false

    Definition Classes

    NegatedConjunctions → Formula

85. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

86. def isNegatedQuantifiedConjunction: Boolean

    

87. def isSortedBy(otherOrder: TermOrder): Boolean

    

    Definition Classes

    SortedWithOrder → Sorted

88. final def isTraversableAgain: Boolean

    

    Definition Classes

    TraversableLike → GenTraversableLike → GenTraversableOnce

89. def isTrue: Boolean

    

    Return true if this formula is obviously always true

    Return true if this formula is obviously always true

    Definition Classes

    NegatedConjunctions → Formula

90. def iterator: Iterator[Conjunction]

    

    Definition Classes

    IndexedSeqLike → IterableLike → GenIterableLike

91. def last: Conjunction

    

    Definition Classes

    TraversableLike → GenTraversableLike

92. def lastIndexOf[B >: Conjunction](elem: B, end: Int): Int

    

    Definition Classes

    GenSeqLike

93. def lastIndexOf[B >: Conjunction](elem: B): Int

    

    Definition Classes

    GenSeqLike

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

    

    Definition Classes

    SeqLike

95. def lastIndexOfSlice[B >: Conjunction](that: GenSeq[B]): Int

    

    Definition Classes

    SeqLike

96. def lastIndexWhere(p: (Conjunction) ⇒ Boolean, end: Int): Int

    

    Definition Classes

    SeqLike → GenSeqLike

97. def lastIndexWhere(p: (Conjunction) ⇒ Boolean): Int

    

    Definition Classes

    GenSeqLike

98. def lastOption: Option[Conjunction]

    

    Definition Classes

    TraversableLike → GenTraversableLike

99. def length: Int

    

    Definition Classes

    NegatedConjunctions → SeqLike → GenSeqLike

100. def lengthCompare(len: Int): Int

     

     Definition Classes

     SeqLike

101. def lift: (Int) ⇒ Option[Conjunction]

     

     Definition Classes

     PartialFunction

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

     

     Definition Classes

     TraversableLike → GenTraversableLike → FilterMonadic

103. def max[B >: Conjunction](implicit cmp: Ordering[B]): Conjunction

     

     Definition Classes

     TraversableOnce → GenTraversableOnce

104. def maxBy[B](f: (Conjunction) ⇒ B)(implicit cmp: Ordering[B]): Conjunction

     

     Definition Classes

     TraversableOnce → GenTraversableOnce

105. def min[B >: Conjunction](implicit cmp: Ordering[B]): Conjunction

     

     Definition Classes

     TraversableOnce → GenTraversableOnce

106. def minBy[B](f: (Conjunction) ⇒ B)(implicit cmp: Ordering[B]): Conjunction

     

     Definition Classes

     TraversableOnce → GenTraversableOnce

107. def mkString: String

     

     Definition Classes

     TraversableOnce → GenTraversableOnce

108. def mkString(sep: String): String

     

     Definition Classes

     TraversableOnce → GenTraversableOnce

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

     

     Definition Classes

     TraversableOnce → GenTraversableOnce

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

     

     Definition Classes

     AnyRef

111. def newBuilder: Builder[Conjunction, IndexedSeq[Conjunction]]

     

     Attributes

     protected[this]

     Definition Classes

     GenericTraversableTemplate → HasNewBuilder

112. def nonEmpty: Boolean

     

     Definition Classes

     TraversableOnce → GenTraversableOnce

113. final def notify(): Unit

     

     Definition Classes

     AnyRef

114. final def notifyAll(): Unit

     

     Definition Classes

     AnyRef

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

     

     Definition Classes

     PartialFunction

116. val order: TermOrder

     

     Definition Classes

     NegatedConjunctions → SortedWithOrder

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

     

     Definition Classes

     SeqLike → GenSeqLike

118. def par: ParSeq[Conjunction]

     

     Definition Classes

     Parallelizable

119. def parCombiner: Combiner[Conjunction, ParSeq[Conjunction]]

     

     Attributes

     protected[this]

     Definition Classes

     SeqLike → TraversableLike → Parallelizable

120. def partition(p: (Conjunction) ⇒ Boolean): (IndexedSeq[Conjunction], IndexedSeq[Conjunction])

     

     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

     

     Definition Classes

     SeqLike → GenSeqLike

122. def permutations: Iterator[IndexedSeq[Conjunction]]

     

     Definition Classes

     SeqLike

123. lazy val predicates: Set[Predicate]

     

     Definition Classes

     NegatedConjunctions → SortedWithOrder → TerFor

124. def prefixLength(p: (Conjunction) ⇒ Boolean): Int

     

     Definition Classes

     GenSeqLike

125. def product[B >: Conjunction](implicit num: Numeric[B]): B

     

     Definition Classes

     TraversableOnce → GenTraversableOnce

126. def reduce[A1 >: Conjunction](op: (A1, A1) ⇒ A1): A1

     

     Definition Classes

     TraversableOnce → GenTraversableOnce

127. def reduceLeft[B >: Conjunction](op: (B, Conjunction) ⇒ B): B

     

     Definition Classes

     TraversableOnce

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

     

     Definition Classes

     TraversableOnce → GenTraversableOnce

129. def reduceOption[A1 >: Conjunction](op: (A1, A1) ⇒ A1): Option[A1]

     

     Definition Classes

     TraversableOnce → GenTraversableOnce

130. def reduceRight[B >: Conjunction](op: (Conjunction, B) ⇒ B): B

     

     Definition Classes

     IterableLike → TraversableOnce → GenTraversableOnce

131. def reduceRightOption[B >: Conjunction](op: (Conjunction, B) ⇒ B): Option[B]

     

     Definition Classes

     TraversableOnce → GenTraversableOnce

132. def repr: IndexedSeq[Conjunction]

     

     Definition Classes

     TraversableLike → GenTraversableLike

133. def reverse: IndexedSeq[Conjunction]

     

     Definition Classes

     SeqLike → GenSeqLike

134. def reverseIterator: Iterator[Conjunction]

     

     Definition Classes

     SeqLike

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

     

     Definition Classes

     SeqLike → GenSeqLike

136. def reversed: List[Conjunction]

     

     Attributes

     protected[this]

     Definition Classes

     TraversableOnce

137. def runWith[U](action: (Conjunction) ⇒ U): (Int) ⇒ Boolean

     

     Definition Classes

     PartialFunction

138. def sameElements[B >: Conjunction](that: GenIterable[B]): Boolean

     

     Definition Classes

     IterableLike → GenIterableLike

139. def scan[B >: Conjunction, That](z: B)(op: (B, B) ⇒ B)(implicit cbf: CanBuildFrom[IndexedSeq[Conjunction], B, That]): That

     

     Definition Classes

     TraversableLike → GenTraversableLike

140. def scanLeft[B, That](z: B)(op: (B, Conjunction) ⇒ B)(implicit bf: CanBuildFrom[IndexedSeq[Conjunction], B, That]): That

     

     Definition Classes

     TraversableLike → GenTraversableLike

141. def scanRight[B, That](z: B)(op: (Conjunction, B) ⇒ B)(implicit bf: CanBuildFrom[IndexedSeq[Conjunction], B, That]): That

     

     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

     

     Definition Classes

     SeqLike → GenSeqLike

143. def seq: IndexedSeq[Conjunction]

     

     Definition Classes

     IndexedSeq → IndexedSeqLike → Seq → GenSeq → GenSeqLike → Iterable → GenIterable → Traversable → GenTraversable → Parallelizable → TraversableOnce → GenTraversableOnce

144. def size: Int

     

     Definition Classes

     SeqLike → GenTraversableLike → TraversableOnce → GenTraversableOnce

145. def slice(from: Int, until: Int): IndexedSeq[Conjunction]

     

     Definition Classes

     IterableLike → TraversableLike → GenTraversableLike

146. def sliding(size: Int, step: Int): Iterator[IndexedSeq[Conjunction]]

     

     Definition Classes

     IterableLike

147. def sliding(size: Int): Iterator[IndexedSeq[Conjunction]]

     

     Definition Classes

     IterableLike

148. def sortBy(newOrder: TermOrder): NegatedConjunctions

     

     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

     NegatedConjunctions → Sorted

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

     

     Definition Classes

     SeqLike

150. def sortWith(lt: (Conjunction, Conjunction) ⇒ Boolean): IndexedSeq[Conjunction]

     

     Definition Classes

     SeqLike

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

     

     Definition Classes

     SeqLike

152. def span(p: (Conjunction) ⇒ Boolean): (IndexedSeq[Conjunction], IndexedSeq[Conjunction])

     

     Definition Classes

     TraversableLike → GenTraversableLike

153. def splitAt(n: Int): (IndexedSeq[Conjunction], IndexedSeq[Conjunction])

     

     Definition Classes

     TraversableLike → GenTraversableLike

154. def startsWith[B](that: GenSeq[B], offset: Int): Boolean

     

     Definition Classes

     SeqLike → GenSeqLike

155. def startsWith[B](that: GenSeq[B]): Boolean

     

     Definition Classes

     GenSeqLike

156. def stringPrefix: String

     

     Definition Classes

     TraversableLike → GenTraversableLike

157. def sum[B >: Conjunction](implicit num: Numeric[B]): B

     

     Definition Classes

     TraversableOnce → GenTraversableOnce

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

     

     Definition Classes

     AnyRef

159. def tail: IndexedSeq[Conjunction]

     

     Definition Classes

     TraversableLike → GenTraversableLike

160. def tails: Iterator[IndexedSeq[Conjunction]]

     

     Definition Classes

     TraversableLike

161. def take(n: Int): IndexedSeq[Conjunction]

     

     Definition Classes

     IterableLike → TraversableLike → GenTraversableLike

162. def takeRight(n: Int): IndexedSeq[Conjunction]

     

     Definition Classes

     IterableLike

163. def takeWhile(p: (Conjunction) ⇒ Boolean): IndexedSeq[Conjunction]

     

     Definition Classes

     IterableLike → TraversableLike → GenTraversableLike

164. def thisCollection: IndexedSeq[Conjunction]

     

     Attributes

     protected[this]

     Definition Classes

     IndexedSeqLike → SeqLike → IterableLike → TraversableLike

165. def to[Col[_]](implicit cbf: CanBuildFrom[Nothing, Conjunction, Col[Conjunction]]): Col[Conjunction]

     

     Definition Classes

     TraversableLike → TraversableOnce → GenTraversableOnce

166. def toArray[B >: Conjunction](implicit arg0: ClassTag[B]): Array[B]

     

     Definition Classes

     TraversableOnce → GenTraversableOnce

167. def toBuffer[A1 >: Conjunction]: Buffer[A1]

     

     Definition Classes

     IndexedSeqLike → TraversableOnce → GenTraversableOnce

168. def toCollection(repr: IndexedSeq[Conjunction]): IndexedSeq[Conjunction]

     

     Attributes

     protected[this]

     Definition Classes

     IndexedSeqLike → SeqLike → IterableLike → TraversableLike

169. def toIndexedSeq: IndexedSeq[Conjunction]

     

     Definition Classes

     TraversableOnce → GenTraversableOnce

170. def toIterable: Iterable[Conjunction]

     

     Definition Classes

     IterableLike → TraversableOnce → GenTraversableOnce

171. def toIterator: Iterator[Conjunction]

     

     Definition Classes

     IterableLike → TraversableLike → GenTraversableOnce

     Annotations

     @deprecatedOverriding( ... , "2.11.0" )

172. def toList: List[Conjunction]

     

     Definition Classes

     TraversableOnce → GenTraversableOnce

173. def toMap[T, U](implicit ev: <:<[Conjunction, (T, U)]): Map[T, U]

     

     Definition Classes

     TraversableOnce → GenTraversableOnce

174. def toSeq: Seq[Conjunction]

     

     Definition Classes

     SeqLike → GenSeqLike → TraversableOnce → GenTraversableOnce

175. def toSet[B >: Conjunction]: Set[B]

     

     Definition Classes

     TraversableOnce → GenTraversableOnce

176. def toStream: Stream[Conjunction]

     

     Definition Classes

     IterableLike → TraversableLike → GenTraversableOnce

177. def toString(): String

     

     Definition Classes

     NegatedConjunctions → SeqLike → TraversableLike → Function1 → AnyRef → Any

178. def toTraversable: Traversable[Conjunction]

     

     Definition Classes

     TraversableLike → TraversableOnce → GenTraversableOnce

     Annotations

     @deprecatedOverriding( ... , "2.11.0" )

179. def toVector: Vector[Conjunction]

     

     Definition Classes

     TraversableOnce → GenTraversableOnce

180. def transpose[B](implicit asTraversable: (Conjunction) ⇒ GenTraversableOnce[B]): IndexedSeq[IndexedSeq[B]]

     

     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

     

     Definition Classes

     SeqLike → GenSeqLike

182. def unzip[A1, A2](implicit asPair: (Conjunction) ⇒ (A1, A2)): (IndexedSeq[A1], IndexedSeq[A2])

     

     Definition Classes

     GenericTraversableTemplate

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

     

     Definition Classes

     GenericTraversableTemplate

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

     

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

     

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

     

     Definition Classes

     SeqLike → GenSeqLike

187. lazy val variables: Set[VariableTerm]

     

     Definition Classes

     NegatedConjunctions → TerFor

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

     

     Definition Classes

     SeqLike → IterableLike → TraversableLike

189. def view: SeqView[Conjunction, IndexedSeq[Conjunction]]

     

     Definition Classes

     SeqLike → IterableLike → TraversableLike

190. final def wait(): Unit

     

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

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

     

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

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

     

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

193. def withFilter(p: (Conjunction) ⇒ Boolean): FilterMonadic[Conjunction, IndexedSeq[Conjunction]]

     

     Definition Classes

     TraversableLike → FilterMonadic

194. def zip[A1 >: Conjunction, B, That](that: GenIterable[B])(implicit bf: CanBuildFrom[IndexedSeq[Conjunction], (A1, B), That]): That

     

     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

     

     Definition Classes

     IterableLike → GenIterableLike

196. def zipWithIndex[A1 >: Conjunction, That](implicit bf: CanBuildFrom[IndexedSeq[Conjunction], (A1, Int), That]): That

     

     Definition Classes

     IterableLike → GenIterableLike