|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of AbstractVar in choco.cp.solver.constraints.integer.soft |
---|
Methods in choco.cp.solver.constraints.integer.soft with parameters of type AbstractVar | |
---|---|
int |
SoftIntSConstraint.getIndex(AbstractVar v)
|
Uses of AbstractVar in choco.cp.solver.constraints.reified |
---|
Methods in choco.cp.solver.constraints.reified with parameters of type AbstractVar | |
---|---|
int |
ReifiedAllSConstraint.getIndex(AbstractVar v)
|
Uses of AbstractVar in choco.cp.solver.variables.integer |
---|
Subclasses of AbstractVar in choco.cp.solver.variables.integer | |
---|---|
class |
AbstractBijectiveVar
|
class |
BooleanVarImpl<C extends AbstractSConstraint & IntPropagator>
A variable implementation dedicated to boolean domains |
class |
BoolVarNot
A bijective boolean variable B : B = not(A) |
class |
IntDomainVarAddCste
Declare a variable Y, based on a variable X and a constante c, such as Y = X + c |
class |
IntDomainVarImpl<C extends AbstractSConstraint & IntPropagator>
Implements search valued domain variables. |
class |
IntDomainVarTimePosCste
Declare a variable Y, based on a variable X and a constante c, such as Y = X * c |
class |
ViewIntDomainVarImpl
|
Uses of AbstractVar in choco.cp.solver.variables.real |
---|
Subclasses of AbstractVar in choco.cp.solver.variables.real | |
---|---|
class |
RealVarImpl<C extends AbstractSConstraint & RealPropagator>
An implementation of real variables using RealDomain domains. |
Uses of AbstractVar in choco.cp.solver.variables.set |
---|
Subclasses of AbstractVar in choco.cp.solver.variables.set | |
---|---|
class |
SetVarImpl<C extends AbstractSConstraint & SetPropagator>
History: 2007-12-07 : FR_1873619 CPRU: DomOverDeg+DomOverWDeg |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |