public interface ACQ_IConstraint
Modifier and Type | Method and Description |
---|---|
boolean |
checker(int[] values)
Checks if the constraint is violated for a given set of values
|
int |
getArity()
Returns the number of variables of this constraint (size of the scope)
|
java.lang.String |
getName()
Returns the name of this constraint
|
ACQ_IConstraint |
getNegation()
Returns the negation of this constraint.
|
int[] |
getProjection(ACQ_Query query)
Get the set of numeric values of the example query
|
ACQ_Scope |
getScope()
Returns the scope of this constraint
|
org.chocosolver.solver.variables.IntVar[] |
getVariables(org.chocosolver.solver.variables.IntVar[] fullVarSet) |
void |
toChoco(org.chocosolver.solver.Model model,
org.chocosolver.solver.variables.IntVar... intVars)
Add this constraint to the solver
|
java.lang.String getName()
ACQ_Scope getScope()
int getArity()
int[] getProjection(ACQ_Query query)
query
- Positive or negative exampleboolean checker(int[] values)
values
- set of values to checkACQ_IConstraint getNegation()
Returns the negation of this constraint. For instance, a constraint with "=" as operator will return a constraint with the same scope but "!=" as operator
void toChoco(org.chocosolver.solver.Model model, org.chocosolver.solver.variables.IntVar... intVars)
model
- model of the solverintVars
- variables of this constraintorg.chocosolver.solver.variables.IntVar[] getVariables(org.chocosolver.solver.variables.IntVar[] fullVarSet)