SetVar

Instance Constructors

new SetVar()(implicit model: Model)

Defines an anonymous set variable with maximal set domain.
new SetVar(glb: Int, lub: Int)(implicit model: Model)

Defines an anonymous set variable.
Defines an anonymous set variable.
glb
greatest lower bound for variable's domain.
lub
least upper bound on variable's domain.
new SetVar(name: String, glb: Int, lub: Int)(implicit model: Model)

Creates a new set variable.
Creates a new set variable.
name
variable's identifier.
glb
greatest lower bound for variable's domain.
lub
least upper bound on variable's domain.

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
def #<=(that: SetVar): Constraint

Defines constraint this ordered set is lexicographically less or equal than set "that".
Defines constraint this ordered set is lexicographically less or equal than set "that".
that
second parameter for the constraint.
returns
result this constraint.
def #=(that: IntSet): Constraint

Defines set equality constraint between a set variable and a set.
Defines set equality constraint between a set variable and a set.
that
second parameter for the constraint.
returns
result this constraint.
def #=(that: SetVar): Constraint

Defines set equality constraint between two set variables.
Defines set equality constraint between two set variables.
that
second parameter for the constraint.
returns
result this constraint.
def #>=(that: SetVar): Constraint

Defines constraint this ordered set is lexicographically greater or equal than set "that".
Defines constraint this ordered set is lexicographically greater or equal than set "that".
that
second parameter for the constraint.
returns
result this constraint.
def *(that: SetVar): SetVar

Defines set intersection constraint between two set variables.
Defines set intersection constraint between two set variables.
that
second parameter for the constraint.
returns
result set variable that is the result for this constraint.
def +(that: SetVar): SetVar

Defines set union constraint between two set variables.
Defines set union constraint between two set variables.
that
second parameter for the constraint.
returns
result set variable that is the result for this constraint.
def <>(that: SetVar): Constraint

Defines set disjoint constraint between two set variables.
Defines set disjoint constraint between two set variables.
that
second parameter for the constraint.
returns
result this constraint.
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def \(that: SetVar): SetVar

Defines set subtraction constraint between two set variables.
Defines set subtraction constraint between two set variables.
that
second parameter for the constraint.
returns
result set variable that is the result for this constraint.
def addDom(arg0: SetDomain): Unit

Definition Classes
SetVar
def addDom(arg0: Int, arg1: Int): Unit

Definition Classes
SetVar
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def dom(): SetDomain

Definition Classes
SetVar → Var
def domainHasChanged(arg0: Int): Unit

Definition Classes
SetVar → Var
def eq(arg0: org.jacop.set.core.SetVar): Boolean

Definition Classes
SetVar
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def getSize(): Int

Definition Classes
SetVar → Var
def getStore(): Store

Definition Classes
Var
def hashCode(): Int

Definition Classes
AnyRef → Any
def id(): String

Definition Classes
Var
def in(that: IntSet): Constraint

Defines set inclusion constraint between a set variables and a set.
Defines set inclusion constraint between a set variables and a set.
that
second parameter for the constraint.
returns
result this constraint.
def in(that: SetVar): Constraint

Defines set inclusion constraint between two set variables.
Defines set inclusion constraint between two set variables.
that
second parameter for the constraint.
returns
result this constraint.
def index(): Int

Definition Classes
Var → Backtrackable
def isEmpty(): Boolean

Definition Classes
SetVar → Var
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def level(): Int

Definition Classes
SetVar → Var → Backtrackable
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def putConstraint(arg0: Constraint): Unit

Definition Classes
SetVar → Var
def putModelConstraint(arg0: Constraint, arg1: Int): Unit

Definition Classes
SetVar → Var
def putSearchConstraint(arg0: Constraint): Unit

Definition Classes
SetVar → Var
def recentDomainPruning(): SetDomain

Definition Classes
SetVar
def remove(arg0: Int): Unit

Definition Classes
SetVar → Backtrackable
def removeConstraint(arg0: Constraint): Unit

Definition Classes
SetVar → Var
def setDomain(arg0: SetDomain): Unit

Definition Classes
SetVar
def setDomain(arg0: Int, arg1: Int): Unit

Definition Classes
SetVar
def singleton(): Boolean

Definition Classes
SetVar → Var
def sizeConstraints(): Int

Definition Classes
SetVar → Var
def sizeConstraintsOriginal(): Int

Definition Classes
SetVar → Var
def sizeSearchConstraints(): Int

Definition Classes
SetVar → Var
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
SetVar → AnyRef → Any
def toStringFull(): String

Definition Classes
SetVar → Var
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( ... )

Related Doc: package poirot

class SetVar extends org.jacop.set.core.SetVar

Instance Constructors

new SetVar()(implicit model: Model)

new SetVar(glb: Int, lub: Int)(implicit model: Model)

new SetVar(name: String, glb: Int, lub: Int)(implicit model: Model)

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

def #<=(that: SetVar): Constraint

def #=(that: IntSet): Constraint

def #=(that: SetVar): Constraint

def #>=(that: SetVar): Constraint

def *(that: SetVar): SetVar

def +(that: SetVar): SetVar

def <>(that: SetVar): Constraint

final def ==(arg0: Any): Boolean

def \(that: SetVar): SetVar

def addDom(arg0: SetDomain): Unit

def addDom(arg0: Int, arg1: Int): Unit

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def dom(): SetDomain

def domainHasChanged(arg0: Int): Unit

def eq(arg0: org.jacop.set.core.SetVar): Boolean

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def getSize(): Int

def getStore(): Store

def hashCode(): Int

def id(): String

def in(that: IntSet): Constraint

def in(that: SetVar): Constraint

def index(): Int

def isEmpty(): Boolean

final def isInstanceOf[T0]: Boolean

def level(): Int

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def putConstraint(arg0: Constraint): Unit

def putModelConstraint(arg0: Constraint, arg1: Int): Unit

def putSearchConstraint(arg0: Constraint): Unit

def recentDomainPruning(): SetDomain

def remove(arg0: Int): Unit

def removeConstraint(arg0: Constraint): Unit

def setDomain(arg0: SetDomain): Unit

def setDomain(arg0: Int, arg1: Int): Unit

def singleton(): Boolean

def sizeConstraints(): Int

def sizeConstraintsOriginal(): Int

def sizeSearchConstraints(): Int

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

def toString(): String

def toStringFull(): String

final def wait(): Unit

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

final def wait(arg0: Long): Unit

Inherited from org.jacop.set.core.SetVar

Inherited from Var

Inherited from Backtrackable

Inherited from AnyRef

Inherited from Any

Ungrouped