public class Sum extends Constraint
Modifier and Type | Field and Description |
---|---|
IntVar[] |
list
It specifies the variables to be summed.
|
IntVar |
sum
It specifies variable sum to store the overall sum of the variables being summed up.
|
static String[] |
xmlAttributes
It specifies the arguments required to be saved by an XML format as well as
the constructor being called to recreate an object from an XML format.
|
atomicExecution, consistencyPruningEvents, earlyTerminationOK, id, increaseWeight, numberArgs, numberId, trace
queueIndex
Constructor and Description |
---|
Sum(ArrayList<? extends IntVar> list,
IntVar sum)
It creates a sum constraints which sums all variables and makes it equal to variable sum.
|
Sum(IntVar[] list,
IntVar sum)
It constructs sum constraint which sums all variables and makes it equal to variable sum.
|
Modifier and Type | Method and Description |
---|---|
ArrayList<Var> |
arguments()
It returns the variables in a scope of the constraint.
|
void |
consistency(Store store)
It is a (most probably incomplete) consistency function which removes the
values from variables domains.
|
int |
getConsistencyPruningEvent(Var var)
It retrieves the pruning event which causes reevaluation of the
constraint.
|
Constraint |
getGuideConstraint()
It specifies a constraint which if imposed by search will enhance
propagation of this constraint.
|
int |
getGuideValue()
This function provides a value which if assigned to a variable returned
by getGuideVariable() will enhance propagation of this constraint.
|
Var |
getGuideVariable()
This function provides a variable which assigned a value returned
by will enhance propagation of this constraint.
|
void |
impose(Store store)
It imposes the constraint in a given store.
|
void |
increaseWeight()
It increases the weight of the variables in the constraint scope.
|
void |
removeConstraint()
It removes the constraint by removing this constraint from all variables.
|
boolean |
satisfied()
It checks if the constraint is satisfied.
|
void |
supplyGuideFeedback(boolean feedback)
This function allows to provide a guide feedback.
|
String |
toString()
It produces a string representation of a constraint state.
|
cleanAfterFailure, decompose, id, impose, imposeDecomposition, numberArgs, queueVariable, removeLevel, removeLevelLate, requiresMonotonicity, setConsistencyPruningEvent
auxiliaryVariables, derivative, imposeDecomposition
public IntVar[] list
public IntVar sum
public static String[] xmlAttributes
public Sum(IntVar[] list, IntVar sum)
list
- sum
- public ArrayList<Var> arguments()
Constraint
arguments
in class Constraint
public void consistency(Store store)
Constraint
consistency
in class Constraint
store
- constraint store within which the constraint consistency is being checked.public int getConsistencyPruningEvent(Var var)
Constraint
getConsistencyPruningEvent
in class Constraint
var
- variable for which pruning event is retrievedpublic void impose(Store store)
Constraint
impose
in class Constraint
store
- the constraint store to which the constraint is imposed to.public void removeConstraint()
Constraint
removeConstraint
in class Constraint
public boolean satisfied()
Constraint
satisfied
in class Constraint
public String toString()
Constraint
toString
in class Constraint
public Constraint getGuideConstraint()
Constraint
getGuideConstraint
in class Constraint
public int getGuideValue()
Constraint
getGuideValue
in class Constraint
public Var getGuideVariable()
Constraint
getGuideVariable
in class Constraint
public void supplyGuideFeedback(boolean feedback)
Constraint
supplyGuideFeedback
in class Constraint
feedback
- true if the guide was useful, false otherwise.public void increaseWeight()
Constraint
increaseWeight
in class Constraint
Copyright © 2015. All rights reserved.