| Overview | Group | Tree | Graph | Index | Concepts |
An instance of the class IlcSoftConstraint can only be
created using the member function IlcSoftConstraint
IlcSoftCtHandler::createSoftConstraint(IlcConstraintI*).
The class IlcSoftCtHandler is used to manage the definition
of a soft constraint. It contains information about the copied constraint,
the copied variables and their relation to the original constraint and the
original variables.
| Method Summary | |
|---|---|
public IlcInt | getCopiedVarInProcess() const |
public IlcSoftConstraintI * | getImpl() const |
public IlcIntVar | getStatusVar() |
public IlcBool | isFailed() |
public void | whenDomainReduction(IlcDemon demon) |
public void | whenFail(IlcDemon demon) |
Inherited Methods from IlcConstraint |
|---|
getImpl, getName, getObject, getParentDemon, getSolver, isFalse, isTrue, setName, setObject |
Inherited Methods from IlcDemon |
|---|
getConstraint, getImpl, getSolver, operator= |
| Method Detail |
|---|
This function returns the index of the copied variable which is in process. Indices are described in the class IlcSoftCtHandler.
This member function returns the implementation object of the invoking object. You can use this member function to check whether a constraint is empty.
This function returns the status variable of the constraint.
This function returns IlcTrue if the copied variable is
violated, otherwise it returns IlcFalse.
This function is used to link a demon that will be executed each time a
copied variable is modified. The current modified copied variable can be
accessed using the member function
IlcInt IlcSoftConstraint::getCopiedVarInProcess()const.
This function is used to link a demon to the event corresponding to the violation of the copied constraint.