case class COR(children: Seq[SigmaBoolean]) extends SigmaConjecture with Product with Serializable
OR disjunction for sigma propositions
- Alphabetic
- By Inheritance
- COR
- Serializable
- Serializable
- Product
- Equals
- SigmaConjecture
- SigmaBoolean
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
- new COR(children: Seq[SigmaBoolean])
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
val
children: Seq[SigmaBoolean]
- Definition Classes
- COR → SigmaConjecture
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
val
opCode: OpCode
The same code is also used for OR operation, but they belong to different type hierarchies.
The same code is also used for OR operation, but they belong to different type hierarchies.
- Definition Classes
- COR → SigmaBoolean
-
val
size: Int
Size of the proposition tree (number of nodes).
Size of the proposition tree (number of nodes).
- Definition Classes
- COR → SigmaBoolean
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()