Package org.jacop.constraints
Class Constraint
- Direct Known Subclasses:
AbsPeqR
,AdiffBeqC
,AdisjointB
,AintersectBeqC
,Alldifferent
,Alldistinct
,Among
,AmongVar
,ArgMax
,ArgMin
,Assignment
,AunionBeqC
,Binpacking
,CardA
,CardAeqX
,ChannelImply
,ChannelReif
,Conditional
,CosPeqR
,CountValues
,CountValuesBounds
,Cumulative
,CumulativeBasic
,CumulativePrimary
,Diff
,Element
,ElementFloat
,ElementFloatVariable
,ElementInteger
,ElementIntegerFast
,ElementSet
,ElementSetVariable
,ElementVariable
,ElementVariableFast
,EquationSystem
,ExpPeqR
,ExtensionalConflictVA
,ExtensionalSupportMDD
,ExtensionalSupportSTR
,ExtensionalSupportVA
,GCC
,Geost
,Increasing
,Knapsack
,Lex
,LexOrder
,Linear
,Match
,Max
,Max
,MaxSimple
,Min
,Min
,MinSimple
,NetworkFlow
,NoGood
,Nooverlap
,PmulCeqR
,PmulQeqR
,PrimitiveConstraint
,Regular
,SatWrapper
,SimpleTable
,SinPeqR
,Sum
,SumWeight
,SumWeightDom
,SumWeightedSet
,Table
,TanPeqR
,ValuePrecede
,Values
,VariableTrace
,XdivYeqZ
,XeqP
,XexpYeqZ
,XmodYeqZ
,XmulYeqZ
-
Field Summary
FieldsModifier and TypeFieldDescription(package private) double
boolean
It specifies if the constraint consistency function requires consistency function executed in one atomic step.It specifies the event which must occur in order for the consistency function to be called.boolean
It specifies if the constraint consistency function can be prematurely terminated through other than FailureException exception.boolean
It specifies if upon the failure of the constraint, all variables in the constraint scope should have their weight increased.int
It specifies the number id for a given constraint.It specifies a set of variables that in the scope of this constraint.boolean
(package private) Var
Fields inherited from class org.jacop.constraints.DecomposedConstraint
queueIndex
-
Constructor Summary
ConstructorsModifierConstructorDescriptionprotected
protected
Constraint
(Set<? extends Var> set) protected
Constraint
(Stream<Var> vars) protected
Constraint
(PrimitiveConstraint[] constraints) protected
Constraint
(Var[]... vars) -
Method Summary
Modifier and TypeMethodDescriptiondouble
afc()
It returns the variables in a scope of the constraint.void
It is executed after the constraint has failed.private Set<RemoveLevelLate>
computeFixpoint
(Constraint c, Set<RemoveLevelLate> fixpoint) abstract void
consistency
(Store store) It is a (most probably incomplete) consistency function which removes the values from variables domains.It returns an array list of constraint which are used to decompose this constraint.int
It retrieves the pruning event which causes reevaluation of the constraint.abstract int
It specifies a constraint which if imposed by search will enhance propagation of this constraint.int
This function provides a value which if assigned to a variable returned by getGuideVariable() will enhance propagation of this constraint.This function provides a variable which assigned a value returned by will enhance propagation of this constraint.boolean
grounded()
It checks if the constraint has all variables in its scope grounded (singletons).boolean
It checks if provided variables are grounded (singletons).id()
It gives the id string of a constraint.void
It imposes the constraint in a given store.void
It imposes the constraint and adjusts the queue index.void
imposeDecomposition
(Store store) It imposes the decomposition of the given constraint in a given store.void
It increases the weight of the variables in the constraint scope.static String
intArrayToString
(int[] array) static int
long2int
(long value) int
It returns the number of variables within a constraint scope.void
queueVariable
(int level, Var var) This is a function called to indicate which variable in a scope of constraint has changed.void
It removes the constraint by removing this constraint from all variables.boolean
It specifies if the constraint allows domains of variables in its scope only to shrink its domain with the progress of search downwards.void
setConsistencyPruningEvent
(Var var, int pruningEvent) It allows to customize the event for a given variable which causes the re-execution of the consistency method for a constraint.protected void
setConstraintScope
(PrimitiveConstraint... primitiveConstraints) protected void
protected void
protected void
setScope
(PrimitiveConstraint[] constraints) protected void
protected void
void
void
supplyGuideFeedback
(boolean feedback) This function allows to provide a guide feedback.(package private) static int
toInt
(double f) (package private) static int
toInt
(float f) toString()
It produces a string representation of a constraint state.void
updateAFC
(Set<Constraint> allConstraints, double decay) boolean
Methods inherited from class org.jacop.constraints.DecomposedConstraint
auxiliaryVariables, checkInput, checkInput, checkInputForDuplication, checkInputForDuplicationSkipSingletons, checkInputForNullness, checkInputForNullness, checkInputForNullness, derivative, getDubletonsSkipSingletons, imposeDecomposition
-
Field Details
-
trace
public boolean trace -
numberId
public int numberIdIt specifies the number id for a given constraint. All constraints within the same type have unique number ids. -
scope
It specifies a set of variables that in the scope of this constraint. -
constraintScope
-
watchedVariableGrounded
Var watchedVariableGrounded -
increaseWeight
public boolean increaseWeightIt specifies if upon the failure of the constraint, all variables in the constraint scope should have their weight increased. -
consistencyPruningEvents
It specifies the event which must occur in order for the consistency function to be called. -
earlyTerminationOK
public boolean earlyTerminationOKIt specifies if the constraint consistency function can be prematurely terminated through other than FailureException exception. -
atomicExecution
public boolean atomicExecutionIt specifies if the constraint consistency function requires consistency function executed in one atomic step. A constraint can specify that if any other pruning events are initiated by outside entity then the constraint may not work correctly if the execution is continued, but it will work well if consistency() function is restarted. -
afcWeight
double afcWeight
-
-
Constructor Details
-
Constraint
protected Constraint() -
Constraint
-
Constraint
-
Constraint
-
Constraint
-
-
Method Details
-
arguments
It returns the variables in a scope of the constraint.- Returns:
- variables in a scope of the constraint.
-
setScope
-
setScope
-
setScope
-
setScope
-
setScope
-
setConstraintScope
-
consistency
It is a (most probably incomplete) consistency function which removes the values from variables domains. Only values which do not have any support in a solution space are removed.- Parameters:
store
- constraint store within which the constraint consistency is being checked.
-
getConsistencyPruningEvent
It retrieves the pruning event which causes reevaluation of the constraint.- Parameters:
var
- variable for which pruning event is retrieved- Returns:
- it returns the int code of the pruning event (GROUND, BOUND, ANY, NONE)
-
getDefaultConsistencyPruningEvent
public abstract int getDefaultConsistencyPruningEvent() -
id
It gives the id string of a constraint.- Returns:
- string id of the constraint.
-
impose
It imposes the constraint in a given store.- Parameters:
store
- the constraint store to which the constraint is imposed to.
-
computeFixpoint
-
impose
It imposes the constraint and adjusts the queue index.- Parameters:
store
- the constraint store to which the constraint is imposed to.queueIndex
- the index of the queue in the store it is assigned to.
-
queueVariable
This is a function called to indicate which variable in a scope of constraint has changed. It also indicates a store level at which the change has occurred.- Parameters:
level
- the level of the store at which the change has occurred.var
- variable which has changed.
-
removeConstraint
public void removeConstraint()It removes the constraint by removing this constraint from all variables. -
setWatchedVariableGrounded
-
watchedVariableGrounded
public boolean watchedVariableGrounded() -
grounded
public boolean grounded()It checks if the constraint has all variables in its scope grounded (singletons).- Returns:
- true if all variables in constraint scope are singletons, false otherwise.
-
grounded
It checks if provided variables are grounded (singletons).- Parameters:
vars
- variables to be checked if they are grounded.- Returns:
- true if all variables in constraint scope are singletons, false otherwise.
-
toString
It produces a string representation of a constraint state. -
intArrayToString
-
getGuideConstraint
It specifies a constraint which if imposed by search will enhance propagation of this constraint.- Returns:
- Constraint enhancing propagation of this constraint.
-
getGuideVariable
This function provides a variable which assigned a value returned by will enhance propagation of this constraint.- Returns:
- Variable which is a base of enhancing constraint.
-
getGuideValue
public int getGuideValue()This function provides a value which if assigned to a variable returned by getGuideVariable() will enhance propagation of this constraint.- Returns:
- Value which is a base of enhancing constraint.
-
supplyGuideFeedback
public void supplyGuideFeedback(boolean feedback) This function allows to provide a guide feedback. If constraint does not propose sufficiently good enhancing constraints it will be informed so it has a chance to reexamine its efforts.- Parameters:
feedback
- true if the guide was useful, false otherwise.
-
increaseWeight
public void increaseWeight()It increases the weight of the variables in the constraint scope. -
setConsistencyPruningEvent
It allows to customize the event for a given variable which causes the re-execution of the consistency method for a constraint.- Parameters:
var
- variable for which the events are customized.pruningEvent
- the event which must occur to trigger execution of the consistency method.
-
numberArgs
public int numberArgs()It returns the number of variables within a constraint scope.- Returns:
- number of variables in the constraint scope.
-
requiresMonotonicity
public boolean requiresMonotonicity()It specifies if the constraint allows domains of variables in its scope only to shrink its domain with the progress of search downwards.- Returns:
- true, by default by all constraints.
-
imposeDecomposition
It imposes the decomposition of the given constraint in a given store.- Specified by:
imposeDecomposition
in classDecomposedConstraint<Constraint>
- Parameters:
store
- the constraint store to which the constraint is imposed to.
-
decompose
It returns an array list of constraint which are used to decompose this constraint. It actually creates a decomposition (possibly also creating variables), but it does not impose the constraint.- Specified by:
decompose
in classDecomposedConstraint<Constraint>
- Parameters:
store
- the constraint store in which context the decomposition takes place.- Returns:
- an array list of constraints used to decompose this constraint.
-
afc
public double afc() -
updateAFC
-
cleanAfterFailure
public void cleanAfterFailure()It is executed after the constraint has failed. It allows to clean some data structures. -
toInt
static int toInt(float f) -
toInt
static int toInt(double f) -
long2int
public static int long2int(long value)
-