Model visitor.
Definition at line 14 of file ModelVisitor.java.
|
| 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 () |
| |
◆ ModelVisitor() [1/2]
◆ ModelVisitor() [2/2]
◆ beginVisitConstraint()
| void beginVisitConstraint |
( |
String |
type_name, |
|
|
Constraint |
constraint |
|
) |
| |
|
inline |
◆ beginVisitExtension()
| void beginVisitExtension |
( |
String |
type | ) |
|
|
inline |
◆ beginVisitIntegerExpression()
| void beginVisitIntegerExpression |
( |
String |
type_name, |
|
|
IntExpr |
expr |
|
) |
| |
|
inline |
◆ 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 |
◆ endVisitConstraint()
| void endVisitConstraint |
( |
String |
type_name, |
|
|
Constraint |
constraint |
|
) |
| |
|
inline |
◆ endVisitExtension()
| void endVisitExtension |
( |
String |
type | ) |
|
|
inline |
◆ endVisitIntegerExpression()
| void endVisitIntegerExpression |
( |
String |
type_name, |
|
|
IntExpr |
expr |
|
) |
| |
|
inline |
◆ endVisitModel()
| void endVisitModel |
( |
String |
type_name | ) |
|
|
inline |
◆ getKAbs()
| static String getKAbs |
( |
| ) |
|
|
inlinestatic |
◆ getKAbsEqual()
| static String getKAbsEqual |
( |
| ) |
|
|
inlinestatic |
◆ getKActiveArgument()
| static String getKActiveArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKAllDifferent()
| static String getKAllDifferent |
( |
| ) |
|
|
inlinestatic |
◆ getKAllowedAssignments()
| static String getKAllowedAssignments |
( |
| ) |
|
|
inlinestatic |
◆ getKAssumePathsArgument()
| static String getKAssumePathsArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKAtMost()
| static String getKAtMost |
( |
| ) |
|
|
inlinestatic |
◆ getKBetween()
| static String getKBetween |
( |
| ) |
|
|
inlinestatic |
◆ getKBranchesLimitArgument()
| static String getKBranchesLimitArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKCapacityArgument()
| static String getKCapacityArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKCardsArgument()
| static String getKCardsArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKCircuit()
| static String getKCircuit |
( |
| ) |
|
|
inlinestatic |
◆ getKCoefficientsArgument()
| static String getKCoefficientsArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKConditionalExpr()
| static String getKConditionalExpr |
( |
| ) |
|
|
inlinestatic |
◆ getKConvexPiecewise()
| static String getKConvexPiecewise |
( |
| ) |
|
|
inlinestatic |
◆ getKCountArgument()
| static String getKCountArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKCountAssignedItemsExtension()
| static String getKCountAssignedItemsExtension |
( |
| ) |
|
|
inlinestatic |
◆ getKCountEqual()
| static String getKCountEqual |
( |
| ) |
|
|
inlinestatic |
◆ getKCountUsedBinsExtension()
| static String getKCountUsedBinsExtension |
( |
| ) |
|
|
inlinestatic |
◆ getKCover()
| static String getKCover |
( |
| ) |
|
|
inlinestatic |
◆ getKCumulative()
| static String getKCumulative |
( |
| ) |
|
|
inlinestatic |
◆ getKCumulativeArgument()
| static String getKCumulativeArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKCumulsArgument()
| static String getKCumulsArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKDelayedPathCumul()
| static String getKDelayedPathCumul |
( |
| ) |
|
|
inlinestatic |
◆ getKDemandsArgument()
| static String getKDemandsArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKDeviation()
| static String getKDeviation |
( |
| ) |
|
|
inlinestatic |
◆ getKDifference()
| static String getKDifference |
( |
| ) |
|
|
inlinestatic |
◆ getKDifferenceOperation()
| static String getKDifferenceOperation |
( |
| ) |
|
|
inlinestatic |
◆ getKDisjunctive()
| static String getKDisjunctive |
( |
| ) |
|
|
inlinestatic |
◆ getKDistribute()
| static String getKDistribute |
( |
| ) |
|
|
inlinestatic |
◆ getKDivide()
| static String getKDivide |
( |
| ) |
|
|
inlinestatic |
◆ getKDurationExpr()
| static String getKDurationExpr |
( |
| ) |
|
|
inlinestatic |
◆ getKDurationMaxArgument()
| static String getKDurationMaxArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKDurationMinArgument()
| static String getKDurationMinArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKEarlyCostArgument()
| static String getKEarlyCostArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKEarlyDateArgument()
| static String getKEarlyDateArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKElement()
| static String getKElement |
( |
| ) |
|
|
inlinestatic |
◆ getKElementEqual()
| static String getKElementEqual |
( |
| ) |
|
|
inlinestatic |
◆ getKEndExpr()
| static String getKEndExpr |
( |
| ) |
|
|
inlinestatic |
◆ getKEndMaxArgument()
| static String getKEndMaxArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKEndMinArgument()
| static String getKEndMinArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKEndsArgument()
| static String getKEndsArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKEquality()
| static String getKEquality |
( |
| ) |
|
|
inlinestatic |
◆ getKEvaluatorArgument()
| static String getKEvaluatorArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKExpressionArgument()
| static String getKExpressionArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKFailuresLimitArgument()
| static String getKFailuresLimitArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKFalseConstraint()
| static String getKFalseConstraint |
( |
| ) |
|
|
inlinestatic |
◆ getKFinalStatesArgument()
| static String getKFinalStatesArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKFixedChargeArgument()
| static String getKFixedChargeArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKGlobalCardinality()
| static String getKGlobalCardinality |
( |
| ) |
|
|
inlinestatic |
◆ getKGreater()
| static String getKGreater |
( |
| ) |
|
|
inlinestatic |
◆ getKGreaterOrEqual()
| static String getKGreaterOrEqual |
( |
| ) |
|
|
inlinestatic |
◆ getKIndex2Argument()
| static String getKIndex2Argument |
( |
| ) |
|
|
inlinestatic |
◆ getKIndexArgument()
| static String getKIndexArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKIndexOf()
| static String getKIndexOf |
( |
| ) |
|
|
inlinestatic |
◆ getKInitialState()
| static String getKInitialState |
( |
| ) |
|
|
inlinestatic |
◆ getKInt64ToBoolExtension()
| static String getKInt64ToBoolExtension |
( |
| ) |
|
|
inlinestatic |
◆ getKInt64ToInt64Extension()
| static String getKInt64ToInt64Extension |
( |
| ) |
|
|
inlinestatic |
◆ getKIntegerVariable()
| static String getKIntegerVariable |
( |
| ) |
|
|
inlinestatic |
◆ getKIntervalArgument()
| static String getKIntervalArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKIntervalBinaryRelation()
| static String getKIntervalBinaryRelation |
( |
| ) |
|
|
inlinestatic |
◆ getKIntervalDisjunction()
| static String getKIntervalDisjunction |
( |
| ) |
|
|
inlinestatic |
◆ getKIntervalsArgument()
| static String getKIntervalsArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKIntervalUnaryRelation()
| static String getKIntervalUnaryRelation |
( |
| ) |
|
|
inlinestatic |
◆ getKIntervalVariable()
| static String getKIntervalVariable |
( |
| ) |
|
|
inlinestatic |
◆ getKInversePermutation()
| static String getKInversePermutation |
( |
| ) |
|
|
inlinestatic |
◆ getKIsBetween()
| static String getKIsBetween |
( |
| ) |
|
|
inlinestatic |
◆ getKIsDifferent()
| static String getKIsDifferent |
( |
| ) |
|
|
inlinestatic |
◆ getKIsEqual()
| static String getKIsEqual |
( |
| ) |
|
|
inlinestatic |
◆ getKIsGreater()
| static String getKIsGreater |
( |
| ) |
|
|
inlinestatic |
◆ getKIsGreaterOrEqual()
| static String getKIsGreaterOrEqual |
( |
| ) |
|
|
inlinestatic |
◆ getKIsLess()
| static String getKIsLess |
( |
| ) |
|
|
inlinestatic |
◆ getKIsLessOrEqual()
| static String getKIsLessOrEqual |
( |
| ) |
|
|
inlinestatic |
◆ getKIsMember()
| static String getKIsMember |
( |
| ) |
|
|
inlinestatic |
◆ getKLateCostArgument()
| static String getKLateCostArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKLateDateArgument()
| static String getKLateDateArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKLeftArgument()
| static String getKLeftArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKLess()
| static String getKLess |
( |
| ) |
|
|
inlinestatic |
◆ getKLessOrEqual()
| static String getKLessOrEqual |
( |
| ) |
|
|
inlinestatic |
◆ getKLexLess()
| static String getKLexLess |
( |
| ) |
|
|
inlinestatic |
◆ getKLinkExprVar()
| static String getKLinkExprVar |
( |
| ) |
|
|
inlinestatic |
◆ getKMapDomain()
| static String getKMapDomain |
( |
| ) |
|
|
inlinestatic |
◆ getKMax()
| static String getKMax |
( |
| ) |
|
|
inlinestatic |
◆ getKMaxArgument()
| static String getKMaxArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKMaxEqual()
| static String getKMaxEqual |
( |
| ) |
|
|
inlinestatic |
◆ getKMaximizeArgument()
| static String getKMaximizeArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKMember()
| static String getKMember |
( |
| ) |
|
|
inlinestatic |
◆ getKMin()
| static String getKMin |
( |
| ) |
|
|
inlinestatic |
◆ getKMinArgument()
| static String getKMinArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKMinEqual()
| static String getKMinEqual |
( |
| ) |
|
|
inlinestatic |
◆ getKMirrorOperation()
| static String getKMirrorOperation |
( |
| ) |
|
|
inlinestatic |
◆ getKModulo()
| static String getKModulo |
( |
| ) |
|
|
inlinestatic |
◆ getKModuloArgument()
| static String getKModuloArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKNextsArgument()
| static String getKNextsArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKNoCycle()
| static String getKNoCycle |
( |
| ) |
|
|
inlinestatic |
◆ getKNonEqual()
| static String getKNonEqual |
( |
| ) |
|
|
inlinestatic |
◆ getKNotBetween()
| static String getKNotBetween |
( |
| ) |
|
|
inlinestatic |
◆ getKNotMember()
| static String getKNotMember |
( |
| ) |
|
|
inlinestatic |
◆ getKNullIntersect()
| static String getKNullIntersect |
( |
| ) |
|
|
inlinestatic |
◆ getKObjectiveExtension()
| static String getKObjectiveExtension |
( |
| ) |
|
|
inlinestatic |
◆ getKOpposite()
| static String getKOpposite |
( |
| ) |
|
|
inlinestatic |
◆ getKOptionalArgument()
| static String getKOptionalArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKPack()
| static String getKPack |
( |
| ) |
|
|
inlinestatic |
◆ getKPartialArgument()
| static String getKPartialArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKPathCumul()
| static String getKPathCumul |
( |
| ) |
|
|
inlinestatic |
◆ getKPerformedExpr()
| static String getKPerformedExpr |
( |
| ) |
|
|
inlinestatic |
◆ getKPositionXArgument()
| static String getKPositionXArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKPositionYArgument()
| static String getKPositionYArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKPower()
| static String getKPower |
( |
| ) |
|
|
inlinestatic |
◆ getKProduct()
| static String getKProduct |
( |
| ) |
|
|
inlinestatic |
◆ getKProductOperation()
| static String getKProductOperation |
( |
| ) |
|
|
inlinestatic |
◆ getKRangeArgument()
| static String getKRangeArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKRelationArgument()
| static String getKRelationArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKRelaxedMaxOperation()
| static String getKRelaxedMaxOperation |
( |
| ) |
|
|
inlinestatic |
◆ getKRelaxedMinOperation()
| static String getKRelaxedMinOperation |
( |
| ) |
|
|
inlinestatic |
◆ getKRightArgument()
| static String getKRightArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKScalProd()
| static String getKScalProd |
( |
| ) |
|
|
inlinestatic |
◆ getKScalProdEqual()
| static String getKScalProdEqual |
( |
| ) |
|
|
inlinestatic |
◆ getKScalProdGreaterOrEqual()
| static String getKScalProdGreaterOrEqual |
( |
| ) |
|
|
inlinestatic |
◆ getKScalProdLessOrEqual()
| static String getKScalProdLessOrEqual |
( |
| ) |
|
|
inlinestatic |
◆ getKSearchLimitExtension()
| static String getKSearchLimitExtension |
( |
| ) |
|
|
inlinestatic |
◆ getKSemiContinuous()
| static String getKSemiContinuous |
( |
| ) |
|
|
inlinestatic |
◆ getKSequenceArgument()
| static String getKSequenceArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKSequencesArgument()
| static String getKSequencesArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKSequenceVariable()
| static String getKSequenceVariable |
( |
| ) |
|
|
inlinestatic |
◆ getKSizeArgument()
| static String getKSizeArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKSizeXArgument()
| static String getKSizeXArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKSizeYArgument()
| static String getKSizeYArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKSmartTimeCheckArgument()
| static String getKSmartTimeCheckArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKSolutionLimitArgument()
| static String getKSolutionLimitArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKSortingConstraint()
| static String getKSortingConstraint |
( |
| ) |
|
|
inlinestatic |
◆ getKSquare()
| static String getKSquare |
( |
| ) |
|
|
inlinestatic |
◆ getKStartExpr()
| static String getKStartExpr |
( |
| ) |
|
|
inlinestatic |
◆ getKStartMaxArgument()
| static String getKStartMaxArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKStartMinArgument()
| static String getKStartMinArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKStartsArgument()
| static String getKStartsArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKStartSyncOnEndOperation()
| static String getKStartSyncOnEndOperation |
( |
| ) |
|
|
inlinestatic |
◆ getKStartSyncOnStartOperation()
| static String getKStartSyncOnStartOperation |
( |
| ) |
|
|
inlinestatic |
◆ getKStepArgument()
| static String getKStepArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKSum()
| static String getKSum |
( |
| ) |
|
|
inlinestatic |
◆ getKSumEqual()
| static String getKSumEqual |
( |
| ) |
|
|
inlinestatic |
◆ getKSumGreaterOrEqual()
| static String getKSumGreaterOrEqual |
( |
| ) |
|
|
inlinestatic |
◆ getKSumLessOrEqual()
| static String getKSumLessOrEqual |
( |
| ) |
|
|
inlinestatic |
◆ getKSumOperation()
| static String getKSumOperation |
( |
| ) |
|
|
inlinestatic |
◆ getKTargetArgument()
| static String getKTargetArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKTimeLimitArgument()
| static String getKTimeLimitArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKTrace()
| static String getKTrace |
( |
| ) |
|
|
inlinestatic |
◆ getKTraceOperation()
| static String getKTraceOperation |
( |
| ) |
|
|
inlinestatic |
◆ getKTransition()
| static String getKTransition |
( |
| ) |
|
|
inlinestatic |
◆ getKTransitsArgument()
| static String getKTransitsArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKTrueConstraint()
| static String getKTrueConstraint |
( |
| ) |
|
|
inlinestatic |
◆ getKTuplesArgument()
| static String getKTuplesArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKUsageEqualVariableExtension()
| static String getKUsageEqualVariableExtension |
( |
| ) |
|
|
inlinestatic |
◆ getKUsageLessConstantExtension()
| static String getKUsageLessConstantExtension |
( |
| ) |
|
|
inlinestatic |
◆ getKValueArgument()
| static String getKValueArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKValuesArgument()
| static String getKValuesArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKVarBoundWatcher()
| static String getKVarBoundWatcher |
( |
| ) |
|
|
inlinestatic |
◆ getKVariableArgument()
| static String getKVariableArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKVariableGroupExtension()
| static String getKVariableGroupExtension |
( |
| ) |
|
|
inlinestatic |
◆ getKVariableUsageLessConstantExtension()
| static String getKVariableUsageLessConstantExtension |
( |
| ) |
|
|
inlinestatic |
◆ getKVarsArgument()
| static String getKVarsArgument |
( |
| ) |
|
|
inlinestatic |
◆ getKVarValueWatcher()
| static String getKVarValueWatcher |
( |
| ) |
|
|
inlinestatic |
◆ getKWeightedSumOfAssignedEqualVariableExtension()
| static String getKWeightedSumOfAssignedEqualVariableExtension |
( |
| ) |
|
|
inlinestatic |
◆ toString()
Reimplemented in Assignment, Pack, BooleanVar, RegularLimit, SearchLog, SearchLimit, OptimizeVar, Decision, IntVarIterator, DecisionBuilder, Constraint, Demon, SolutionCollector, CPFeasibilityFilter, GlobalVehicleBreaksConstraint, PropagationBaseObject, SequenceVar, LocalSearchMonitor, and PropagationMonitor.
Definition at line 46 of file BaseObject.java.
◆ visitIntegerArgument()
| void visitIntegerArgument |
( |
String |
arg_name, |
|
|
long |
value |
|
) |
| |
|
inline |
◆ visitIntegerArrayArgument()
| void visitIntegerArrayArgument |
( |
String |
arg_name, |
|
|
long[] |
values |
|
) |
| |
|
inline |
◆ visitIntegerExpressionArgument()
| void visitIntegerExpressionArgument |
( |
String |
arg_name, |
|
|
IntExpr |
argument |
|
) |
| |
|
inline |
◆ visitIntegerMatrixArgument()
| void visitIntegerMatrixArgument |
( |
String |
arg_name, |
|
|
IntTupleSet |
tuples |
|
) |
| |
|
inline |
◆ visitIntegerVariable() [1/2]
◆ visitIntegerVariable() [2/2]
| void visitIntegerVariable |
( |
IntVar |
variable, |
|
|
String |
operation, |
|
|
long |
value, |
|
|
IntVar |
delegate |
|
) |
| |
|
inline |
◆ visitIntegerVariableArrayArgument()
| void visitIntegerVariableArrayArgument |
( |
String |
arg_name, |
|
|
IntVar[] |
arguments |
|
) |
| |
|
inline |
◆ visitIntervalArgument()
| void visitIntervalArgument |
( |
String |
arg_name, |
|
|
IntervalVar |
argument |
|
) |
| |
|
inline |
◆ visitIntervalArrayArgument()
| void visitIntervalArrayArgument |
( |
String |
arg_name, |
|
|
IntervalVar[] |
arguments |
|
) |
| |
|
inline |
◆ visitIntervalVariable()
◆ visitSequenceArgument()
| void visitSequenceArgument |
( |
String |
arg_name, |
|
|
SequenceVar |
argument |
|
) |
| |
|
inline |
◆ visitSequenceArrayArgument()
| void visitSequenceArrayArgument |
( |
String |
arg_name, |
|
|
SequenceVar[] |
arguments |
|
) |
| |
|
inline |
◆ visitSequenceVariable()
The documentation for this class was generated from the following file: