public class Support extends Object implements ParserTreeConstants
Modifier and Type | Field and Description |
---|---|
boolean |
boundsConsistency |
int |
constraintPriority |
IntVar |
definedVar |
boolean |
domainConsistency |
Options |
options |
JJTANNEXPR, JJTANNOTATION, JJTARRAYLITERAL, JJTBOOLTIEXPRTAIL, JJTCONSTELEM, JJTCONSTRAINT, JJTCONSTRAINTITEMS, JJTFLOATTIEXPRTAIL, JJTINTFLATEXPR, JJTINTLITERALS, JJTINTTIEXPRTAIL, JJTMODEL, JJTMODELEND, jjtNodeName, JJTSCALARFLATEXPR, JJTSETELEMENT, JJTSETLITERAL, JJTSETTIEXPRTAIL, JJTSOLVEEXPR, JJTSOLVEITEM, JJTSOLVEKIND, JJTVARDECLITEM, JJTVARDECLITEMS, JJTVARIABLEEXPR, JJTVOID
Constructor and Description |
---|
Support(Store store,
Tables d,
SatTranslation sat) |
Modifier and Type | Method and Description |
---|---|
void |
addImplied(IntVar x,
int v,
IntVar b) |
void |
addReified(IntVar x,
int v,
IntVar b) |
int |
getInt(ASTScalarFlatExpr node) |
IntVar |
getVariable(ASTScalarFlatExpr node) |
void |
parseAnnotations(org.jacop.fz.SimpleNode constraintWithAnnotations) |
void |
poseDelayedConstraints() |
void |
poseImplied(Support s) |
void |
poseReified(Support s) |
public Options options
public boolean boundsConsistency
public boolean domainConsistency
public int constraintPriority
public IntVar definedVar
public Support(Store store, Tables d, SatTranslation sat)
public int getInt(ASTScalarFlatExpr node)
public IntVar getVariable(ASTScalarFlatExpr node)
public void parseAnnotations(org.jacop.fz.SimpleNode constraintWithAnnotations)
public void poseDelayedConstraints()
public void poseReified(Support s)
public void poseImplied(Support s)
Copyright © 2022. All rights reserved.