Instance Constructors
-
new
Disjunctive
(tasks: (Term, Term)*)
Value Members
-
def
!=
(arg0: AnyRef): Boolean
-
def
!=
(arg0: Any): Boolean
-
def
##
(): Int
-
-
-
def
==
(arg0: AnyRef): Boolean
-
def
==
(arg0: Any): Boolean
-
-
-
def
asInstanceOf
[T0]
: T0
-
def
canEqual
(arg0: Any): Boolean
-
def
clone
(): AnyRef
-
def
eq
(arg0: AnyRef): Boolean
-
def
equals
(arg0: Any): Boolean
-
def
finalize
(): Unit
-
def
getClass
(): java.lang.Class[_]
-
def
hashCode
(): Int
-
def
isInstanceOf
[T0]
: Boolean
-
def
ne
(arg0: AnyRef): Boolean
-
def
notify
(): Unit
-
def
notifyAll
(): Unit
-
def
productArity
: Int
-
def
productElement
(arg0: Int): Any
-
def
productIterator
: Iterator[Any]
-
def
productPrefix
: String
-
def
synchronized
[T0]
(arg0: ⇒ T0): T0
-
val
tasks
: (Term, Term)*
-
def
toString
(): String
-
def
unary_!
: Not
-
def
value
(solution: Solution): Boolean
-
def
wait
(): Unit
-
def
wait
(arg0: Long, arg1: Int): Unit
-
def
wait
(arg0: Long): Unit
-
Deprecated Value Members
-
def
productElements
: Iterator[Any]
Inherited from Serializable
Inherited from Serializable
Inherited from Product
Inherited from Equals
Inherited from AnyRef
Inherited from Any
Case class for Disjunctive global constraints. Companion object provies other factory methods.
http://www.emn.fr/z-info/sdemasse/gccat/Cdisjunctive.html