Java Reference

Java Reference

ModelVisitor

Detailed Description

Model visitor.

Definition at line 14 of file ModelVisitor.java.

Public Member Functions

synchronized void delete ()
 
void beginVisitModel (String type_name)
 --— Virtual methods for visitors --— Begin/End visit element. More...
 
void endVisitModel (String type_name)
 
void beginVisitConstraint (String type_name, Constraint constraint)
 
void endVisitConstraint (String type_name, Constraint constraint)
 
void beginVisitExtension (String type)
 
void endVisitExtension (String type)
 
void beginVisitIntegerExpression (String type_name, IntExpr expr)
 
void endVisitIntegerExpression (String type_name, IntExpr expr)
 
void visitIntegerVariable (IntVar variable, IntExpr delegate)
 
void visitIntegerVariable (IntVar variable, String operation, long value, IntVar delegate)
 
void visitIntervalVariable (IntervalVar variable, String operation, long value, IntervalVar delegate)
 
void visitSequenceVariable (SequenceVar variable)
 
void visitIntegerArgument (String arg_name, long value)
 Visit integer arguments. More...
 
void visitIntegerArrayArgument (String arg_name, long[] values)
 
void visitIntegerMatrixArgument (String arg_name, IntTupleSet tuples)
 
void visitIntegerExpressionArgument (String arg_name, IntExpr argument)
 Visit integer expression argument. More...
 
void visitIntegerVariableArrayArgument (String arg_name, IntVar[] arguments)
 
void visitIntervalArgument (String arg_name, IntervalVar argument)
 Visit interval argument. More...
 
void visitIntervalArrayArgument (String arg_name, IntervalVar[] arguments)
 
void visitSequenceArgument (String arg_name, SequenceVar argument)
 Visit sequence argument. More...
 
void visitSequenceArrayArgument (String arg_name, SequenceVar[] arguments)
 
 ModelVisitor ()
 
String toString ()
 

Static Public Member Functions

static String getKAbs ()
 Constraint and Expression types. More...
 
static String getKAbsEqual ()
 
static String getKAllDifferent ()
 
static String getKAllowedAssignments ()
 
static String getKAtMost ()
 
static String getKIndexOf ()
 
static String getKBetween ()
 
static String getKConditionalExpr ()
 
static String getKCircuit ()
 
static String getKConvexPiecewise ()
 
static String getKCountEqual ()
 
static String getKCover ()
 
static String getKCumulative ()
 
static String getKDeviation ()
 
static String getKDifference ()
 
static String getKDisjunctive ()
 
static String getKDistribute ()
 
static String getKDivide ()
 
static String getKDurationExpr ()
 
static String getKElement ()
 
static String getKElementEqual ()
 
static String getKEndExpr ()
 
static String getKEquality ()
 
static String getKFalseConstraint ()
 
static String getKGlobalCardinality ()
 
static String getKGreater ()
 
static String getKGreaterOrEqual ()
 
static String getKIntegerVariable ()
 
static String getKIntervalBinaryRelation ()
 
static String getKIntervalDisjunction ()
 
static String getKIntervalUnaryRelation ()
 
static String getKIntervalVariable ()
 
static String getKInversePermutation ()
 
static String getKIsBetween ()
 
static String getKIsDifferent ()
 
static String getKIsEqual ()
 
static String getKIsGreater ()
 
static String getKIsGreaterOrEqual ()
 
static String getKIsLess ()
 
static String getKIsLessOrEqual ()
 
static String getKIsMember ()
 
static String getKLess ()
 
static String getKLessOrEqual ()
 
static String getKLexLess ()
 
static String getKLinkExprVar ()
 
static String getKMapDomain ()
 
static String getKMax ()
 
static String getKMaxEqual ()
 
static String getKMember ()
 
static String getKMin ()
 
static String getKMinEqual ()
 
static String getKModulo ()
 
static String getKNoCycle ()
 
static String getKNonEqual ()
 
static String getKNotBetween ()
 
static String getKNotMember ()
 
static String getKNullIntersect ()
 
static String getKOpposite ()
 
static String getKPack ()
 
static String getKPathCumul ()
 
static String getKDelayedPathCumul ()
 
static String getKPerformedExpr ()
 
static String getKPower ()
 
static String getKProduct ()
 
static String getKScalProd ()
 
static String getKScalProdEqual ()
 
static String getKScalProdGreaterOrEqual ()
 
static String getKScalProdLessOrEqual ()
 
static String getKSemiContinuous ()
 
static String getKSequenceVariable ()
 
static String getKSortingConstraint ()
 
static String getKSquare ()
 
static String getKStartExpr ()
 
static String getKSum ()
 
static String getKSumEqual ()
 
static String getKSumGreaterOrEqual ()
 
static String getKSumLessOrEqual ()
 
static String getKTrace ()
 
static String getKTransition ()
 
static String getKTrueConstraint ()
 
static String getKVarBoundWatcher ()
 
static String getKVarValueWatcher ()
 
static String getKCountAssignedItemsExtension ()
 Extension names: More...
 
static String getKCountUsedBinsExtension ()
 
static String getKInt64ToBoolExtension ()
 
static String getKInt64ToInt64Extension ()
 
static String getKObjectiveExtension ()
 
static String getKSearchLimitExtension ()
 
static String getKUsageEqualVariableExtension ()
 
static String getKUsageLessConstantExtension ()
 
static String getKVariableGroupExtension ()
 
static String getKVariableUsageLessConstantExtension ()
 
static String getKWeightedSumOfAssignedEqualVariableExtension ()
 
static String getKActiveArgument ()
 argument names: More...
 
static String getKAssumePathsArgument ()
 
static String getKBranchesLimitArgument ()
 
static String getKCapacityArgument ()
 
static String getKCardsArgument ()
 
static String getKCoefficientsArgument ()
 
static String getKCountArgument ()
 
static String getKCumulativeArgument ()
 
static String getKCumulsArgument ()
 
static String getKDemandsArgument ()
 
static String getKDurationMaxArgument ()
 
static String getKDurationMinArgument ()
 
static String getKEarlyCostArgument ()
 
static String getKEarlyDateArgument ()
 
static String getKEndMaxArgument ()
 
static String getKEndMinArgument ()
 
static String getKEndsArgument ()
 
static String getKExpressionArgument ()
 
static String getKFailuresLimitArgument ()
 
static String getKFinalStatesArgument ()
 
static String getKFixedChargeArgument ()
 
static String getKIndex2Argument ()
 
static String getKIndexArgument ()
 
static String getKInitialState ()
 
static String getKIntervalArgument ()
 
static String getKIntervalsArgument ()
 
static String getKLateCostArgument ()
 
static String getKLateDateArgument ()
 
static String getKLeftArgument ()
 
static String getKMaxArgument ()
 
static String getKMaximizeArgument ()
 
static String getKMinArgument ()
 
static String getKModuloArgument ()
 
static String getKNextsArgument ()
 
static String getKOptionalArgument ()
 
static String getKPartialArgument ()
 
static String getKPositionXArgument ()
 
static String getKPositionYArgument ()
 
static String getKRangeArgument ()
 
static String getKRelationArgument ()
 
static String getKRightArgument ()
 
static String getKSequenceArgument ()
 
static String getKSequencesArgument ()
 
static String getKSizeArgument ()
 
static String getKSizeXArgument ()
 
static String getKSizeYArgument ()
 
static String getKSmartTimeCheckArgument ()
 
static String getKSolutionLimitArgument ()
 
static String getKStartMaxArgument ()
 
static String getKStartMinArgument ()
 
static String getKStartsArgument ()
 
static String getKStepArgument ()
 
static String getKTargetArgument ()
 
static String getKTimeLimitArgument ()
 
static String getKTransitsArgument ()
 
static String getKTuplesArgument ()
 
static String getKValueArgument ()
 
static String getKValuesArgument ()
 
static String getKVariableArgument ()
 
static String getKVarsArgument ()
 
static String getKEvaluatorArgument ()
 
static String getKMirrorOperation ()
 Operations. More...
 
static String getKRelaxedMaxOperation ()
 
static String getKRelaxedMinOperation ()
 
static String getKSumOperation ()
 
static String getKDifferenceOperation ()
 
static String getKProductOperation ()
 
static String getKStartSyncOnStartOperation ()
 
static String getKStartSyncOnEndOperation ()
 
static String getKTraceOperation ()
 

Protected Member Functions

 ModelVisitor (long cPtr, boolean cMemoryOwn)
 

Constructor & Destructor Documentation

◆ ModelVisitor() [1/2]

ModelVisitor ( long  cPtr,
boolean  cMemoryOwn 
)
inlineprotected

Definition at line 17 of file ModelVisitor.java.

◆ ModelVisitor() [2/2]

ModelVisitor ( )
inline

Definition at line 805 of file ModelVisitor.java.

Member Function Documentation

◆ beginVisitConstraint()

void beginVisitConstraint ( String  type_name,
Constraint  constraint 
)
inline

Definition at line 717 of file ModelVisitor.java.

◆ beginVisitExtension()

void beginVisitExtension ( String  type)
inline

Definition at line 725 of file ModelVisitor.java.

◆ beginVisitIntegerExpression()

void beginVisitIntegerExpression ( String  type_name,
IntExpr  expr 
)
inline

Definition at line 733 of file ModelVisitor.java.

◆ beginVisitModel()

void beginVisitModel ( String  type_name)
inline

--— Virtual methods for visitors --— Begin/End visit element.

Definition at line 709 of file ModelVisitor.java.

◆ delete()

synchronized void delete ( )
inline

Reimplemented from BaseObject.

Definition at line 31 of file ModelVisitor.java.

◆ endVisitConstraint()

void endVisitConstraint ( String  type_name,
Constraint  constraint 
)
inline

Definition at line 721 of file ModelVisitor.java.

◆ endVisitExtension()

void endVisitExtension ( String  type)
inline

Definition at line 729 of file ModelVisitor.java.

◆ endVisitIntegerExpression()

void endVisitIntegerExpression ( String  type_name,
IntExpr  expr 
)
inline

Definition at line 737 of file ModelVisitor.java.

◆ endVisitModel()

void endVisitModel ( String  type_name)
inline

Definition at line 713 of file ModelVisitor.java.

◆ getKAbs()

static String getKAbs ( )
inlinestatic

Constraint and Expression types.

Definition at line 45 of file ModelVisitor.java.

◆ getKAbsEqual()

static String getKAbsEqual ( )
inlinestatic

Definition at line 49 of file ModelVisitor.java.

◆ getKActiveArgument()

static String getKActiveArgument ( )
inlinestatic

argument names:

Definition at line 423 of file ModelVisitor.java.

◆ getKAllDifferent()

static String getKAllDifferent ( )
inlinestatic

Definition at line 53 of file ModelVisitor.java.

◆ getKAllowedAssignments()

static String getKAllowedAssignments ( )
inlinestatic

Definition at line 57 of file ModelVisitor.java.

◆ getKAssumePathsArgument()

static String getKAssumePathsArgument ( )
inlinestatic

Definition at line 427 of file ModelVisitor.java.

◆ getKAtMost()

static String getKAtMost ( )
inlinestatic

Definition at line 61 of file ModelVisitor.java.

◆ getKBetween()

static String getKBetween ( )
inlinestatic

Definition at line 69 of file ModelVisitor.java.

◆ getKBranchesLimitArgument()

static String getKBranchesLimitArgument ( )
inlinestatic

Definition at line 431 of file ModelVisitor.java.

◆ getKCapacityArgument()

static String getKCapacityArgument ( )
inlinestatic

Definition at line 435 of file ModelVisitor.java.

◆ getKCardsArgument()

static String getKCardsArgument ( )
inlinestatic

Definition at line 439 of file ModelVisitor.java.

◆ getKCircuit()

static String getKCircuit ( )
inlinestatic

Definition at line 77 of file ModelVisitor.java.

◆ getKCoefficientsArgument()

static String getKCoefficientsArgument ( )
inlinestatic

Definition at line 443 of file ModelVisitor.java.

◆ getKConditionalExpr()

static String getKConditionalExpr ( )
inlinestatic

Definition at line 73 of file ModelVisitor.java.

◆ getKConvexPiecewise()

static String getKConvexPiecewise ( )
inlinestatic

Definition at line 81 of file ModelVisitor.java.

◆ getKCountArgument()

static String getKCountArgument ( )
inlinestatic

Definition at line 447 of file ModelVisitor.java.

◆ getKCountAssignedItemsExtension()

static String getKCountAssignedItemsExtension ( )
inlinestatic

Extension names:

Definition at line 376 of file ModelVisitor.java.

◆ getKCountEqual()

static String getKCountEqual ( )
inlinestatic

Definition at line 85 of file ModelVisitor.java.

◆ getKCountUsedBinsExtension()

static String getKCountUsedBinsExtension ( )
inlinestatic

Definition at line 380 of file ModelVisitor.java.

◆ getKCover()

static String getKCover ( )
inlinestatic

Definition at line 89 of file ModelVisitor.java.

◆ getKCumulative()

static String getKCumulative ( )
inlinestatic

Definition at line 93 of file ModelVisitor.java.

◆ getKCumulativeArgument()

static String getKCumulativeArgument ( )
inlinestatic

Definition at line 451 of file ModelVisitor.java.

◆ getKCumulsArgument()

static String getKCumulsArgument ( )
inlinestatic

Definition at line 455 of file ModelVisitor.java.

◆ getKDelayedPathCumul()

static String getKDelayedPathCumul ( )
inlinestatic

Definition at line 285 of file ModelVisitor.java.

◆ getKDemandsArgument()

static String getKDemandsArgument ( )
inlinestatic

Definition at line 459 of file ModelVisitor.java.

◆ getKDeviation()

static String getKDeviation ( )
inlinestatic

Definition at line 97 of file ModelVisitor.java.

◆ getKDifference()

static String getKDifference ( )
inlinestatic

Definition at line 101 of file ModelVisitor.java.

◆ getKDifferenceOperation()

static String getKDifferenceOperation ( )
inlinestatic

Definition at line 686 of file ModelVisitor.java.

◆ getKDisjunctive()

static String getKDisjunctive ( )
inlinestatic

Definition at line 105 of file ModelVisitor.java.

◆ getKDistribute()

static String getKDistribute ( )
inlinestatic

Definition at line 109 of file ModelVisitor.java.

◆ getKDivide()

static String getKDivide ( )
inlinestatic

Definition at line 113 of file ModelVisitor.java.

◆ getKDurationExpr()

static String getKDurationExpr ( )
inlinestatic

Definition at line 117 of file ModelVisitor.java.

◆ getKDurationMaxArgument()

static String getKDurationMaxArgument ( )
inlinestatic

Definition at line 463 of file ModelVisitor.java.

◆ getKDurationMinArgument()

static String getKDurationMinArgument ( )
inlinestatic

Definition at line 467 of file ModelVisitor.java.

◆ getKEarlyCostArgument()

static String getKEarlyCostArgument ( )
inlinestatic

Definition at line 471 of file ModelVisitor.java.

◆ getKEarlyDateArgument()

static String getKEarlyDateArgument ( )
inlinestatic

Definition at line 475 of file ModelVisitor.java.

◆ getKElement()

static String getKElement ( )
inlinestatic

Definition at line 121 of file ModelVisitor.java.

◆ getKElementEqual()

static String getKElementEqual ( )
inlinestatic

Definition at line 125 of file ModelVisitor.java.

◆ getKEndExpr()

static String getKEndExpr ( )
inlinestatic

Definition at line 129 of file ModelVisitor.java.

◆ getKEndMaxArgument()

static String getKEndMaxArgument ( )
inlinestatic

Definition at line 479 of file ModelVisitor.java.

◆ getKEndMinArgument()

static String getKEndMinArgument ( )
inlinestatic

Definition at line 483 of file ModelVisitor.java.

◆ getKEndsArgument()

static String getKEndsArgument ( )
inlinestatic

Definition at line 487 of file ModelVisitor.java.

◆ getKEquality()

static String getKEquality ( )
inlinestatic

Definition at line 133 of file ModelVisitor.java.

◆ getKEvaluatorArgument()

static String getKEvaluatorArgument ( )
inlinestatic

Definition at line 663 of file ModelVisitor.java.

◆ getKExpressionArgument()

static String getKExpressionArgument ( )
inlinestatic

Definition at line 491 of file ModelVisitor.java.

◆ getKFailuresLimitArgument()

static String getKFailuresLimitArgument ( )
inlinestatic

Definition at line 495 of file ModelVisitor.java.

◆ getKFalseConstraint()

static String getKFalseConstraint ( )
inlinestatic

Definition at line 137 of file ModelVisitor.java.

◆ getKFinalStatesArgument()

static String getKFinalStatesArgument ( )
inlinestatic

Definition at line 499 of file ModelVisitor.java.

◆ getKFixedChargeArgument()

static String getKFixedChargeArgument ( )
inlinestatic

Definition at line 503 of file ModelVisitor.java.

◆ getKGlobalCardinality()

static String getKGlobalCardinality ( )
inlinestatic

Definition at line 141 of file ModelVisitor.java.

◆ getKGreater()

static String getKGreater ( )
inlinestatic

Definition at line 145 of file ModelVisitor.java.

◆ getKGreaterOrEqual()

static String getKGreaterOrEqual ( )
inlinestatic

Definition at line 149 of file ModelVisitor.java.

◆ getKIndex2Argument()

static String getKIndex2Argument ( )
inlinestatic

Definition at line 507 of file ModelVisitor.java.

◆ getKIndexArgument()

static String getKIndexArgument ( )
inlinestatic

Definition at line 511 of file ModelVisitor.java.

◆ getKIndexOf()

static String getKIndexOf ( )
inlinestatic

Definition at line 65 of file ModelVisitor.java.

◆ getKInitialState()

static String getKInitialState ( )
inlinestatic

Definition at line 515 of file ModelVisitor.java.

◆ getKInt64ToBoolExtension()

static String getKInt64ToBoolExtension ( )
inlinestatic

Definition at line 384 of file ModelVisitor.java.

◆ getKInt64ToInt64Extension()

static String getKInt64ToInt64Extension ( )
inlinestatic

Definition at line 388 of file ModelVisitor.java.

◆ getKIntegerVariable()

static String getKIntegerVariable ( )
inlinestatic

Definition at line 153 of file ModelVisitor.java.

◆ getKIntervalArgument()

static String getKIntervalArgument ( )
inlinestatic

Definition at line 519 of file ModelVisitor.java.

◆ getKIntervalBinaryRelation()

static String getKIntervalBinaryRelation ( )
inlinestatic

Definition at line 157 of file ModelVisitor.java.

◆ getKIntervalDisjunction()

static String getKIntervalDisjunction ( )
inlinestatic

Definition at line 161 of file ModelVisitor.java.

◆ getKIntervalsArgument()

static String getKIntervalsArgument ( )
inlinestatic

Definition at line 523 of file ModelVisitor.java.

◆ getKIntervalUnaryRelation()

static String getKIntervalUnaryRelation ( )
inlinestatic

Definition at line 165 of file ModelVisitor.java.

◆ getKIntervalVariable()

static String getKIntervalVariable ( )
inlinestatic

Definition at line 169 of file ModelVisitor.java.

◆ getKInversePermutation()

static String getKInversePermutation ( )
inlinestatic

Definition at line 173 of file ModelVisitor.java.

◆ getKIsBetween()

static String getKIsBetween ( )
inlinestatic

Definition at line 177 of file ModelVisitor.java.

◆ getKIsDifferent()

static String getKIsDifferent ( )
inlinestatic

Definition at line 181 of file ModelVisitor.java.

◆ getKIsEqual()

static String getKIsEqual ( )
inlinestatic

Definition at line 185 of file ModelVisitor.java.

◆ getKIsGreater()

static String getKIsGreater ( )
inlinestatic

Definition at line 189 of file ModelVisitor.java.

◆ getKIsGreaterOrEqual()

static String getKIsGreaterOrEqual ( )
inlinestatic

Definition at line 193 of file ModelVisitor.java.

◆ getKIsLess()

static String getKIsLess ( )
inlinestatic

Definition at line 197 of file ModelVisitor.java.

◆ getKIsLessOrEqual()

static String getKIsLessOrEqual ( )
inlinestatic

Definition at line 201 of file ModelVisitor.java.

◆ getKIsMember()

static String getKIsMember ( )
inlinestatic

Definition at line 205 of file ModelVisitor.java.

◆ getKLateCostArgument()

static String getKLateCostArgument ( )
inlinestatic

Definition at line 527 of file ModelVisitor.java.

◆ getKLateDateArgument()

static String getKLateDateArgument ( )
inlinestatic

Definition at line 531 of file ModelVisitor.java.

◆ getKLeftArgument()

static String getKLeftArgument ( )
inlinestatic

Definition at line 535 of file ModelVisitor.java.

◆ getKLess()

static String getKLess ( )
inlinestatic

Definition at line 209 of file ModelVisitor.java.

◆ getKLessOrEqual()

static String getKLessOrEqual ( )
inlinestatic

Definition at line 213 of file ModelVisitor.java.

◆ getKLexLess()

static String getKLexLess ( )
inlinestatic

Definition at line 217 of file ModelVisitor.java.

◆ getKLinkExprVar()

static String getKLinkExprVar ( )
inlinestatic

Definition at line 221 of file ModelVisitor.java.

◆ getKMapDomain()

static String getKMapDomain ( )
inlinestatic

Definition at line 225 of file ModelVisitor.java.

◆ getKMax()

static String getKMax ( )
inlinestatic

Definition at line 229 of file ModelVisitor.java.

◆ getKMaxArgument()

static String getKMaxArgument ( )
inlinestatic

Definition at line 539 of file ModelVisitor.java.

◆ getKMaxEqual()

static String getKMaxEqual ( )
inlinestatic

Definition at line 233 of file ModelVisitor.java.

◆ getKMaximizeArgument()

static String getKMaximizeArgument ( )
inlinestatic

Definition at line 543 of file ModelVisitor.java.

◆ getKMember()

static String getKMember ( )
inlinestatic

Definition at line 237 of file ModelVisitor.java.

◆ getKMin()

static String getKMin ( )
inlinestatic

Definition at line 241 of file ModelVisitor.java.

◆ getKMinArgument()

static String getKMinArgument ( )
inlinestatic

Definition at line 547 of file ModelVisitor.java.

◆ getKMinEqual()

static String getKMinEqual ( )
inlinestatic

Definition at line 245 of file ModelVisitor.java.

◆ getKMirrorOperation()

static String getKMirrorOperation ( )
inlinestatic

Operations.

Definition at line 670 of file ModelVisitor.java.

◆ getKModulo()

static String getKModulo ( )
inlinestatic

Definition at line 249 of file ModelVisitor.java.

◆ getKModuloArgument()

static String getKModuloArgument ( )
inlinestatic

Definition at line 551 of file ModelVisitor.java.

◆ getKNextsArgument()

static String getKNextsArgument ( )
inlinestatic

Definition at line 555 of file ModelVisitor.java.

◆ getKNoCycle()

static String getKNoCycle ( )
inlinestatic

Definition at line 253 of file ModelVisitor.java.

◆ getKNonEqual()

static String getKNonEqual ( )
inlinestatic

Definition at line 257 of file ModelVisitor.java.

◆ getKNotBetween()

static String getKNotBetween ( )
inlinestatic

Definition at line 261 of file ModelVisitor.java.

◆ getKNotMember()

static String getKNotMember ( )
inlinestatic

Definition at line 265 of file ModelVisitor.java.

◆ getKNullIntersect()

static String getKNullIntersect ( )
inlinestatic

Definition at line 269 of file ModelVisitor.java.

◆ getKObjectiveExtension()

static String getKObjectiveExtension ( )
inlinestatic

Definition at line 392 of file ModelVisitor.java.

◆ getKOpposite()

static String getKOpposite ( )
inlinestatic

Definition at line 273 of file ModelVisitor.java.

◆ getKOptionalArgument()

static String getKOptionalArgument ( )
inlinestatic

Definition at line 559 of file ModelVisitor.java.

◆ getKPack()

static String getKPack ( )
inlinestatic

Definition at line 277 of file ModelVisitor.java.

◆ getKPartialArgument()

static String getKPartialArgument ( )
inlinestatic

Definition at line 563 of file ModelVisitor.java.

◆ getKPathCumul()

static String getKPathCumul ( )
inlinestatic

Definition at line 281 of file ModelVisitor.java.

◆ getKPerformedExpr()

static String getKPerformedExpr ( )
inlinestatic

Definition at line 289 of file ModelVisitor.java.

◆ getKPositionXArgument()

static String getKPositionXArgument ( )
inlinestatic

Definition at line 567 of file ModelVisitor.java.

◆ getKPositionYArgument()

static String getKPositionYArgument ( )
inlinestatic

Definition at line 571 of file ModelVisitor.java.

◆ getKPower()

static String getKPower ( )
inlinestatic

Definition at line 293 of file ModelVisitor.java.

◆ getKProduct()

static String getKProduct ( )
inlinestatic

Definition at line 297 of file ModelVisitor.java.

◆ getKProductOperation()

static String getKProductOperation ( )
inlinestatic

Definition at line 690 of file ModelVisitor.java.

◆ getKRangeArgument()

static String getKRangeArgument ( )
inlinestatic

Definition at line 575 of file ModelVisitor.java.

◆ getKRelationArgument()

static String getKRelationArgument ( )
inlinestatic

Definition at line 579 of file ModelVisitor.java.

◆ getKRelaxedMaxOperation()

static String getKRelaxedMaxOperation ( )
inlinestatic

Definition at line 674 of file ModelVisitor.java.

◆ getKRelaxedMinOperation()

static String getKRelaxedMinOperation ( )
inlinestatic

Definition at line 678 of file ModelVisitor.java.

◆ getKRightArgument()

static String getKRightArgument ( )
inlinestatic

Definition at line 583 of file ModelVisitor.java.

◆ getKScalProd()

static String getKScalProd ( )
inlinestatic

Definition at line 301 of file ModelVisitor.java.

◆ getKScalProdEqual()

static String getKScalProdEqual ( )
inlinestatic

Definition at line 305 of file ModelVisitor.java.

◆ getKScalProdGreaterOrEqual()

static String getKScalProdGreaterOrEqual ( )
inlinestatic

Definition at line 309 of file ModelVisitor.java.

◆ getKScalProdLessOrEqual()

static String getKScalProdLessOrEqual ( )
inlinestatic

Definition at line 313 of file ModelVisitor.java.

◆ getKSearchLimitExtension()

static String getKSearchLimitExtension ( )
inlinestatic

Definition at line 396 of file ModelVisitor.java.

◆ getKSemiContinuous()

static String getKSemiContinuous ( )
inlinestatic

Definition at line 317 of file ModelVisitor.java.

◆ getKSequenceArgument()

static String getKSequenceArgument ( )
inlinestatic

Definition at line 587 of file ModelVisitor.java.

◆ getKSequencesArgument()

static String getKSequencesArgument ( )
inlinestatic

Definition at line 591 of file ModelVisitor.java.

◆ getKSequenceVariable()

static String getKSequenceVariable ( )
inlinestatic

Definition at line 321 of file ModelVisitor.java.

◆ getKSizeArgument()

static String getKSizeArgument ( )
inlinestatic

Definition at line 595 of file ModelVisitor.java.

◆ getKSizeXArgument()

static String getKSizeXArgument ( )
inlinestatic

Definition at line 599 of file ModelVisitor.java.

◆ getKSizeYArgument()

static String getKSizeYArgument ( )
inlinestatic

Definition at line 603 of file ModelVisitor.java.

◆ getKSmartTimeCheckArgument()

static String getKSmartTimeCheckArgument ( )
inlinestatic

Definition at line 607 of file ModelVisitor.java.

◆ getKSolutionLimitArgument()

static String getKSolutionLimitArgument ( )
inlinestatic

Definition at line 611 of file ModelVisitor.java.

◆ getKSortingConstraint()

static String getKSortingConstraint ( )
inlinestatic

Definition at line 325 of file ModelVisitor.java.

◆ getKSquare()

static String getKSquare ( )
inlinestatic

Definition at line 329 of file ModelVisitor.java.

◆ getKStartExpr()

static String getKStartExpr ( )
inlinestatic

Definition at line 333 of file ModelVisitor.java.

◆ getKStartMaxArgument()

static String getKStartMaxArgument ( )
inlinestatic

Definition at line 615 of file ModelVisitor.java.

◆ getKStartMinArgument()

static String getKStartMinArgument ( )
inlinestatic

Definition at line 619 of file ModelVisitor.java.

◆ getKStartsArgument()

static String getKStartsArgument ( )
inlinestatic

Definition at line 623 of file ModelVisitor.java.

◆ getKStartSyncOnEndOperation()

static String getKStartSyncOnEndOperation ( )
inlinestatic

Definition at line 698 of file ModelVisitor.java.

◆ getKStartSyncOnStartOperation()

static String getKStartSyncOnStartOperation ( )
inlinestatic

Definition at line 694 of file ModelVisitor.java.

◆ getKStepArgument()

static String getKStepArgument ( )
inlinestatic

Definition at line 627 of file ModelVisitor.java.

◆ getKSum()

static String getKSum ( )
inlinestatic

Definition at line 337 of file ModelVisitor.java.

◆ getKSumEqual()

static String getKSumEqual ( )
inlinestatic

Definition at line 341 of file ModelVisitor.java.

◆ getKSumGreaterOrEqual()

static String getKSumGreaterOrEqual ( )
inlinestatic

Definition at line 345 of file ModelVisitor.java.

◆ getKSumLessOrEqual()

static String getKSumLessOrEqual ( )
inlinestatic

Definition at line 349 of file ModelVisitor.java.

◆ getKSumOperation()

static String getKSumOperation ( )
inlinestatic

Definition at line 682 of file ModelVisitor.java.

◆ getKTargetArgument()

static String getKTargetArgument ( )
inlinestatic

Definition at line 631 of file ModelVisitor.java.

◆ getKTimeLimitArgument()

static String getKTimeLimitArgument ( )
inlinestatic

Definition at line 635 of file ModelVisitor.java.

◆ getKTrace()

static String getKTrace ( )
inlinestatic

Definition at line 353 of file ModelVisitor.java.

◆ getKTraceOperation()

static String getKTraceOperation ( )
inlinestatic

Definition at line 702 of file ModelVisitor.java.

◆ getKTransition()

static String getKTransition ( )
inlinestatic

Definition at line 357 of file ModelVisitor.java.

◆ getKTransitsArgument()

static String getKTransitsArgument ( )
inlinestatic

Definition at line 639 of file ModelVisitor.java.

◆ getKTrueConstraint()

static String getKTrueConstraint ( )
inlinestatic

Definition at line 361 of file ModelVisitor.java.

◆ getKTuplesArgument()

static String getKTuplesArgument ( )
inlinestatic

Definition at line 643 of file ModelVisitor.java.

◆ getKUsageEqualVariableExtension()

static String getKUsageEqualVariableExtension ( )
inlinestatic

Definition at line 400 of file ModelVisitor.java.

◆ getKUsageLessConstantExtension()

static String getKUsageLessConstantExtension ( )
inlinestatic

Definition at line 404 of file ModelVisitor.java.

◆ getKValueArgument()

static String getKValueArgument ( )
inlinestatic

Definition at line 647 of file ModelVisitor.java.

◆ getKValuesArgument()

static String getKValuesArgument ( )
inlinestatic

Definition at line 651 of file ModelVisitor.java.

◆ getKVarBoundWatcher()

static String getKVarBoundWatcher ( )
inlinestatic

Definition at line 365 of file ModelVisitor.java.

◆ getKVariableArgument()

static String getKVariableArgument ( )
inlinestatic

Definition at line 655 of file ModelVisitor.java.

◆ getKVariableGroupExtension()

static String getKVariableGroupExtension ( )
inlinestatic

Definition at line 408 of file ModelVisitor.java.

◆ getKVariableUsageLessConstantExtension()

static String getKVariableUsageLessConstantExtension ( )
inlinestatic

Definition at line 412 of file ModelVisitor.java.

◆ getKVarsArgument()

static String getKVarsArgument ( )
inlinestatic

Definition at line 659 of file ModelVisitor.java.

◆ getKVarValueWatcher()

static String getKVarValueWatcher ( )
inlinestatic

Definition at line 369 of file ModelVisitor.java.

◆ getKWeightedSumOfAssignedEqualVariableExtension()

static String getKWeightedSumOfAssignedEqualVariableExtension ( )
inlinestatic

Definition at line 416 of file ModelVisitor.java.

◆ toString()

◆ visitIntegerArgument()

void visitIntegerArgument ( String  arg_name,
long  value 
)
inline

Visit integer arguments.

Definition at line 760 of file ModelVisitor.java.

◆ visitIntegerArrayArgument()

void visitIntegerArrayArgument ( String  arg_name,
long[]  values 
)
inline

Definition at line 764 of file ModelVisitor.java.

◆ visitIntegerExpressionArgument()

void visitIntegerExpressionArgument ( String  arg_name,
IntExpr  argument 
)
inline

Visit integer expression argument.

Definition at line 775 of file ModelVisitor.java.

◆ visitIntegerMatrixArgument()

void visitIntegerMatrixArgument ( String  arg_name,
IntTupleSet  tuples 
)
inline

Definition at line 768 of file ModelVisitor.java.

◆ visitIntegerVariable() [1/2]

void visitIntegerVariable ( IntVar  variable,
IntExpr  delegate 
)
inline

Definition at line 741 of file ModelVisitor.java.

◆ visitIntegerVariable() [2/2]

void visitIntegerVariable ( IntVar  variable,
String  operation,
long  value,
IntVar  delegate 
)
inline

Definition at line 745 of file ModelVisitor.java.

◆ visitIntegerVariableArrayArgument()

void visitIntegerVariableArrayArgument ( String  arg_name,
IntVar[]  arguments 
)
inline

Definition at line 779 of file ModelVisitor.java.

◆ visitIntervalArgument()

void visitIntervalArgument ( String  arg_name,
IntervalVar  argument 
)
inline

Visit interval argument.

Definition at line 786 of file ModelVisitor.java.

◆ visitIntervalArrayArgument()

void visitIntervalArrayArgument ( String  arg_name,
IntervalVar[]  arguments 
)
inline

Definition at line 790 of file ModelVisitor.java.

◆ visitIntervalVariable()

void visitIntervalVariable ( IntervalVar  variable,
String  operation,
long  value,
IntervalVar  delegate 
)
inline

Definition at line 749 of file ModelVisitor.java.

◆ visitSequenceArgument()

void visitSequenceArgument ( String  arg_name,
SequenceVar  argument 
)
inline

Visit sequence argument.

Definition at line 797 of file ModelVisitor.java.

◆ visitSequenceArrayArgument()

void visitSequenceArrayArgument ( String  arg_name,
SequenceVar[]  arguments 
)
inline

Definition at line 801 of file ModelVisitor.java.

◆ visitSequenceVariable()

void visitSequenceVariable ( SequenceVar  variable)
inline

Definition at line 753 of file ModelVisitor.java.


The documentation for this class was generated from the following file: