|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectchoco.kernel.solver.constraints.global.MetaSConstraint
public class MetaSConstraint
Field Summary | |
---|---|
SConstraint[] |
constraints
|
protected String |
name
|
TaskVar[] |
tasks
|
SConstraintType |
type
|
IntDomainVar[] |
vars
|
Fields inherited from interface choco.kernel.solver.constraints.SConstraint |
---|
LOGGER |
Constructor Summary | |
---|---|
MetaSConstraint(SConstraint[] constraints,
TaskVar[] tasks,
IntDomainVar[] vars)
|
|
MetaSConstraint(String name,
SConstraint[] constraints,
TaskVar[] tasks,
IntDomainVar[] vars)
|
Method Summary | |
---|---|
void |
addExtension(int extensionNumber)
Adds a new extension. |
void |
addListener(boolean dynamicAddition)
does not really add a listener as it is useless for propagation. |
List<IRTask> |
asRTaskList()
|
List<TaskVar> |
asTaskList()
A view of the resource as an immutable list. |
Object |
clone()
|
int |
getConstraintIdx(int idx)
Network management: Among all listeners linked to the idx-th variable of c, find the index of constraint c. |
SConstraintType |
getConstraintType()
Return the type of constraint, ie the type of variable involved in the constraint |
Extension |
getExtension(int extensionNumber)
Returns the queried extension |
int |
getFineDegree(int idx)
Some global constraint might be able to provide some fine grained information about the "real" degree of a variables. |
String |
getName()
|
int |
getNbOptionalTasks()
|
int |
getNbRegularTasks()
|
int |
getNbSubConstraints()
|
int |
getNbTasks()
|
int |
getNbVars()
Network management: Get the number of variables involved in the constraint. |
String |
getRscName()
|
IRTask |
getRTask(int idx)
|
Iterator<IRTask> |
getRTaskIterator()
|
SConstraint |
getSubConstraints(int i)
|
TaskVar |
getTask(int i)
get the task with the given index |
Iterator<TaskVar> |
getTaskIterator()
an iterator over all tasks |
Var |
getVar(int i)
Network management: Accessing the ith variable of a constraint. |
Var |
getVarQuick(int i)
Network management: Accessing the ith variable of a constraint. |
boolean |
isSatisfied()
Semantic: Testing if the constraint is satisfied. |
AbstractSConstraint |
opposite(Solver solver)
computes the constraint modelling the counter-opposite condition of this |
String |
pretty()
pretty printing of the object. |
void |
setConstraintIndex(int i,
int idx)
Network management: Storing that among all listeners linked to the i-th variable of c, this (the current constraint) is found at index idx. |
void |
setName(String name)
|
void |
setVar(int i,
Var v)
Network management: Setting (or overwriting) the ith variable of a constraint. |
Methods inherited from class java.lang.Object |
---|
equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public final IntDomainVar[] vars
public final TaskVar[] tasks
public final SConstraint[] constraints
public final SConstraintType type
protected String name
Constructor Detail |
---|
public MetaSConstraint(String name, SConstraint[] constraints, TaskVar[] tasks, IntDomainVar[] vars)
public MetaSConstraint(SConstraint[] constraints, TaskVar[] tasks, IntDomainVar[] vars)
Method Detail |
---|
public final String getName()
public final void setName(String name)
public void addListener(boolean dynamicAddition)
dynamicAddition
- public final int getConstraintIdx(int idx)
SConstraint
getConstraintIdx
in interface SConstraint
idx
- index of the variable in the constraint
public final int getNbVars()
SConstraint
getNbVars
in interface SConstraint
public final Var getVar(int i)
SConstraint
getVar
in interface SConstraint
i
- index of the variable in the constraint
public final Var getVarQuick(int i)
SConstraint
getVarQuick
in interface SConstraint
i
- index of the variable in the constraint
public final TaskVar getTask(int i)
IResource
getTask
in interface IResource<TaskVar>
i
- index of the taskpublic final int getNbSubConstraints()
public final SConstraint getSubConstraints(int i)
public boolean isSatisfied()
SConstraint
isSatisfied
in interface SConstraint
public AbstractSConstraint opposite(Solver solver)
SConstraint
opposite
in interface SConstraint
solver
- the current solver
public final void setConstraintIndex(int i, int idx)
SConstraint
setConstraintIndex
in interface SConstraint
i
- index of the variable in the constraintidx
- index of the constraint in the among all listeners linked to that variablepublic Object clone() throws CloneNotSupportedException
clone
in class Object
CloneNotSupportedException
public final void setVar(int i, Var v)
SConstraint
setVar
in interface SConstraint
i
- index of the variable in the constraintv
- the variable (may be an IntDomainVar, SetVar, RealVar, ...public String pretty()
IPretty
pretty
in interface IPretty
public List<TaskVar> asTaskList()
IResource
asTaskList
in interface IResource<TaskVar>
public int getNbTasks()
getNbTasks
in interface IResource<TaskVar>
getNbTasks
in interface IResourceParameters
public String getRscName()
getRscName
in interface IResourceParameters
public IRTask getRTask(int idx)
getRTask
in interface IResource<TaskVar>
public List<IRTask> asRTaskList()
asRTaskList
in interface IResource<TaskVar>
public Iterator<IRTask> getRTaskIterator()
getRTaskIterator
in interface IResource<TaskVar>
public Iterator<TaskVar> getTaskIterator()
IResource
getTaskIterator
in interface IResource<TaskVar>
public SConstraintType getConstraintType()
getConstraintType
in interface SConstraint
public int getNbOptionalTasks()
getNbOptionalTasks
in interface IResourceParameters
public int getNbRegularTasks()
getNbRegularTasks
in interface IResourceParameters
public Extension getExtension(int extensionNumber)
IExtensionnable
getExtension
in interface IExtensionnable
extensionNumber
- should use the number returned by getAbstractSConstraintExtensionNumber
public void addExtension(int extensionNumber)
addExtension
in interface IExtensionnable
extensionNumber
- should use the number returned by getAbstractSConstraintExtensionNumberpublic int getFineDegree(int idx)
SConstraint
getFineDegree
in interface SConstraint
idx
- index of the variable in the constraint
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |