sealed abstract class LazyConjunction extends AnyRef
A lazy version of conjunctions. This class can be useful when recursively
constructing large formulae, since the number of invocations of methods of
the class Conjunction is reduced.
Linear Supertypes
Known Subclasses
Ordering
- Alphabetic
- By Inheritance
Inherited
- LazyConjunction
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Abstract Value Members
- abstract def &(that: LazyConjunction)(implicit newOrder: TermOrder): LazyConjunction
- abstract def toConjunction: Conjunction
- abstract def toFormula: Formula
Concrete Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- def <=>(that: LazyConjunction)(implicit newOrder: TermOrder): LazyConjunction
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def ==>(that: LazyConjunction)(implicit newOrder: TermOrder): LazyConjunction
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @HotSpotIntrinsicCandidate() @native()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def forceAnd: LazyConjunction
- Attributes
- protected[conjunctions]
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @HotSpotIntrinsicCandidate() @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @HotSpotIntrinsicCandidate() @native()
- def isFalse: Boolean
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def isTrue: Boolean
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def negate: LazyConjunction
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @HotSpotIntrinsicCandidate() @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @HotSpotIntrinsicCandidate() @native()
- def order: TermOrder
- Attributes
- protected[ap]
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- def unary_!: LazyConjunction
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- def |(that: LazyConjunction)(implicit newOrder: TermOrder): LazyConjunction
Deprecated Value Members
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable]) @Deprecated
- Deprecated
(Since version 9)