Java Reference
Java Reference
ModelVisitor.java
Go to the documentation of this file.
718 mainJNI.ModelVisitor_beginVisitConstraint(swigCPtr, this, type_name, Constraint.getCPtr(constraint), constraint);
722 mainJNI.ModelVisitor_endVisitConstraint(swigCPtr, this, type_name, Constraint.getCPtr(constraint), constraint);
734 mainJNI.ModelVisitor_beginVisitIntegerExpression(swigCPtr, this, type_name, IntExpr.getCPtr(expr), expr);
738 mainJNI.ModelVisitor_endVisitIntegerExpression(swigCPtr, this, type_name, IntExpr.getCPtr(expr), expr);
742 mainJNI.ModelVisitor_visitIntegerVariable__SWIG_0(swigCPtr, this, IntVar.getCPtr(variable), variable, IntExpr.getCPtr(delegate), delegate);
745 public void visitIntegerVariable(IntVar variable, String operation, long value, IntVar delegate) {
746 mainJNI.ModelVisitor_visitIntegerVariable__SWIG_1(swigCPtr, this, IntVar.getCPtr(variable), variable, operation, value, IntVar.getCPtr(delegate), delegate);
749 public void visitIntervalVariable(IntervalVar variable, String operation, long value, IntervalVar delegate) {
750 mainJNI.ModelVisitor_visitIntervalVariable(swigCPtr, this, IntervalVar.getCPtr(variable), variable, operation, value, IntervalVar.getCPtr(delegate), delegate);
754 mainJNI.ModelVisitor_visitSequenceVariable(swigCPtr, this, SequenceVar.getCPtr(variable), variable);
769 mainJNI.ModelVisitor_visitIntegerMatrixArgument(swigCPtr, this, arg_name, IntTupleSet.getCPtr(tuples), tuples);
776 mainJNI.ModelVisitor_visitIntegerExpressionArgument(swigCPtr, this, arg_name, IntExpr.getCPtr(argument), argument);
787 mainJNI.ModelVisitor_visitIntervalArgument(swigCPtr, this, arg_name, IntervalVar.getCPtr(argument), argument);
798 mainJNI.ModelVisitor_visitSequenceArgument(swigCPtr, this, arg_name, SequenceVar.getCPtr(argument), argument);
static String getKNotMember()
Definition: ModelVisitor.java:265
static String getKPerformedExpr()
Definition: ModelVisitor.java:289
static String getKStartSyncOnEndOperation()
Definition: ModelVisitor.java:698
static String getKSequenceArgument()
Definition: ModelVisitor.java:587
A constraint is the main modeling object.
static String getKMapDomain()
Definition: ModelVisitor.java:225
void visitIntegerVariable(IntVar variable, IntExpr delegate)
Definition: ModelVisitor.java:741
static String getKTransitsArgument()
Definition: ModelVisitor.java:639
void visitIntervalArgument(String arg_name, IntervalVar argument)
Visit interval argument.
Definition: ModelVisitor.java:786
static String getKLinkExprVar()
Definition: ModelVisitor.java:221
static String getKUsageLessConstantExtension()
Definition: ModelVisitor.java:404
static String getKPartialArgument()
Definition: ModelVisitor.java:563
static String getKInversePermutation()
Definition: ModelVisitor.java:173
static String getKIsGreaterOrEqual()
Definition: ModelVisitor.java:193
static String getKStepArgument()
Definition: ModelVisitor.java:627
static String getKModulo()
Definition: ModelVisitor.java:249
static String getKIntervalsArgument()
Definition: ModelVisitor.java:523
static String getKDemandsArgument()
Definition: ModelVisitor.java:459
static String getKIsEqual()
Definition: ModelVisitor.java:185
void visitIntervalArrayArgument(String arg_name, IntervalVar[] arguments)
Definition: ModelVisitor.java:790
static String getKSequencesArgument()
Definition: ModelVisitor.java:591
static String getKStartSyncOnStartOperation()
Definition: ModelVisitor.java:694
void endVisitModel(String type_name)
Definition: ModelVisitor.java:713
static String getKIntervalBinaryRelation()
Definition: ModelVisitor.java:157
static String getKAtMost()
Definition: ModelVisitor.java:61
static String getKSumLessOrEqual()
Definition: ModelVisitor.java:349
static String getKInitialState()
Definition: ModelVisitor.java:515
static String getKInt64ToInt64Extension()
Definition: ModelVisitor.java:388
static String getKGlobalCardinality()
Definition: ModelVisitor.java:141
static String getKMaxEqual()
Definition: ModelVisitor.java:233
static String getKDelayedPathCumul()
Definition: ModelVisitor.java:285
void visitIntegerArrayArgument(String arg_name, long[] values)
Definition: ModelVisitor.java:764
void endVisitConstraint(String type_name, Constraint constraint)
Definition: ModelVisitor.java:721
static String getKValueArgument()
Definition: ModelVisitor.java:647
static String getKSumEqual()
Definition: ModelVisitor.java:341
static String getKRangeArgument()
Definition: ModelVisitor.java:575
static String getKIsBetween()
Definition: ModelVisitor.java:177
static String getKAbsEqual()
Definition: ModelVisitor.java:49
static String getKDurationExpr()
Definition: ModelVisitor.java:117
The class IntExpr is the base of all integer expressions in constraint programming.
Definition: IntExpr.java:14
static String getKExpressionArgument()
Definition: ModelVisitor.java:491
static String getKVarValueWatcher()
Definition: ModelVisitor.java:369
static String getKPower()
Definition: ModelVisitor.java:293
static String getKScalProd()
Definition: ModelVisitor.java:301
static String getKDurationMinArgument()
Definition: ModelVisitor.java:467
void endVisitIntegerExpression(String type_name, IntExpr expr)
Definition: ModelVisitor.java:737
static String getKProduct()
Definition: ModelVisitor.java:297
static String getKMember()
Definition: ModelVisitor.java:237
static String getKIndexOf()
Definition: ModelVisitor.java:65
static String getKDurationMaxArgument()
Definition: ModelVisitor.java:463
static String getKIntegerVariable()
Definition: ModelVisitor.java:153
static String getKCountArgument()
Definition: ModelVisitor.java:447
void visitIntegerExpressionArgument(String arg_name, IntExpr argument)
Visit integer expression argument.
Definition: ModelVisitor.java:775
static String getKFalseConstraint()
Definition: ModelVisitor.java:137
static String getKLateDateArgument()
Definition: ModelVisitor.java:531
static String getKMaximizeArgument()
Definition: ModelVisitor.java:543
static String getKDifference()
Definition: ModelVisitor.java:101
static String getKPathCumul()
Definition: ModelVisitor.java:281
The class IntVar is a subset of IntExpr.
static String getKLessOrEqual()
Definition: ModelVisitor.java:213
static String getKLeftArgument()
Definition: ModelVisitor.java:535
A sequence variable is a variable whose domain is a set of possible orderings of the interval variabl...
Definition: SequenceVar.java:14
static String getKEndMaxArgument()
Definition: ModelVisitor.java:479
static String getKFixedChargeArgument()
Definition: ModelVisitor.java:503
static String getKGreater()
Definition: ModelVisitor.java:145
static String getKFailuresLimitArgument()
Definition: ModelVisitor.java:495
static String getKCumulativeArgument()
Definition: ModelVisitor.java:451
static String getKNullIntersect()
Definition: ModelVisitor.java:269
static String getKCountEqual()
Definition: ModelVisitor.java:85
static String getKDifferenceOperation()
Definition: ModelVisitor.java:686
static String getKSearchLimitExtension()
Definition: ModelVisitor.java:396
static String getKCircuit()
Definition: ModelVisitor.java:77
static String getKTraceOperation()
Definition: ModelVisitor.java:702
static String getKNextsArgument()
Definition: ModelVisitor.java:555
static String getKOpposite()
Definition: ModelVisitor.java:273
static String getKModuloArgument()
Definition: ModelVisitor.java:551
void visitIntervalVariable(IntervalVar variable, String operation, long value, IntervalVar delegate)
Definition: ModelVisitor.java:749
static String getKElement()
Definition: ModelVisitor.java:121
static String getKSortingConstraint()
Definition: ModelVisitor.java:325
static String getKMinEqual()
Definition: ModelVisitor.java:245
static String getKAllDifferent()
Definition: ModelVisitor.java:53
static String getKUsageEqualVariableExtension()
Definition: ModelVisitor.java:400
void visitSequenceVariable(SequenceVar variable)
Definition: ModelVisitor.java:753
static String getKIntervalArgument()
Definition: ModelVisitor.java:519
static String getKStartMinArgument()
Definition: ModelVisitor.java:619
static String getKSizeArgument()
Definition: ModelVisitor.java:595
static String getKPositionYArgument()
Definition: ModelVisitor.java:571
static String getKLateCostArgument()
Definition: ModelVisitor.java:527
static String getKIsLess()
Definition: ModelVisitor.java:197
static String getKIntervalDisjunction()
Definition: ModelVisitor.java:161
ModelVisitor(long cPtr, boolean cMemoryOwn)
Definition: ModelVisitor.java:17
static String getKIndex2Argument()
Definition: ModelVisitor.java:507
static String getKTrace()
Definition: ModelVisitor.java:353
static String getKEndMinArgument()
Definition: ModelVisitor.java:483
static String getKIntervalVariable()
Definition: ModelVisitor.java:169
static String getKVariableArgument()
Definition: ModelVisitor.java:655
static String getKConditionalExpr()
Definition: ModelVisitor.java:73
static String getKVariableGroupExtension()
Definition: ModelVisitor.java:408
static String getKCardsArgument()
Definition: ModelVisitor.java:439
static String getKCoefficientsArgument()
Definition: ModelVisitor.java:443
static String getKMax()
Definition: ModelVisitor.java:229
static String getKConvexPiecewise()
Definition: ModelVisitor.java:81
static String getKSmartTimeCheckArgument()
Definition: ModelVisitor.java:607
static String getKSequenceVariable()
Definition: ModelVisitor.java:321
static String getKEquality()
Definition: ModelVisitor.java:133
static String getKNoCycle()
Definition: ModelVisitor.java:253
static String getKOptionalArgument()
Definition: ModelVisitor.java:559
void endVisitExtension(String type)
Definition: ModelVisitor.java:729
static String getKCumulsArgument()
Definition: ModelVisitor.java:455
static String getKNotBetween()
Definition: ModelVisitor.java:261
static String getKScalProdLessOrEqual()
Definition: ModelVisitor.java:313
static String getKIsLessOrEqual()
Definition: ModelVisitor.java:201
static String getKIsMember()
Definition: ModelVisitor.java:205
static String getKRelationArgument()
Definition: ModelVisitor.java:579
static String getKEarlyDateArgument()
Definition: ModelVisitor.java:475
static String getKMin()
Definition: ModelVisitor.java:241
static String getKSquare()
Definition: ModelVisitor.java:329
static String getKEndExpr()
Definition: ModelVisitor.java:129
static String getKStartMaxArgument()
Definition: ModelVisitor.java:615
static String getKStartExpr()
Definition: ModelVisitor.java:333
static String getKDivide()
Definition: ModelVisitor.java:113
static String getKElementEqual()
Definition: ModelVisitor.java:125
static String getKPack()
Definition: ModelVisitor.java:277
static String getKIndexArgument()
Definition: ModelVisitor.java:511
static String getKPositionXArgument()
Definition: ModelVisitor.java:567
static String getKInt64ToBoolExtension()
Definition: ModelVisitor.java:384
static String getKWeightedSumOfAssignedEqualVariableExtension()
Definition: ModelVisitor.java:416
static String getKLess()
Definition: ModelVisitor.java:209
static String getKAssumePathsArgument()
Definition: ModelVisitor.java:427
static String getKTimeLimitArgument()
Definition: ModelVisitor.java:635
static String getKSizeXArgument()
Definition: ModelVisitor.java:599
static String getKRightArgument()
Definition: ModelVisitor.java:583
static String getKIsDifferent()
Definition: ModelVisitor.java:181
static String getKMaxArgument()
Definition: ModelVisitor.java:539
static String getKCountUsedBinsExtension()
Definition: ModelVisitor.java:380
static String getKVariableUsageLessConstantExtension()
Definition: ModelVisitor.java:412
static String getKIntervalUnaryRelation()
Definition: ModelVisitor.java:165
static String getKObjectiveExtension()
Definition: ModelVisitor.java:392
static String getKCapacityArgument()
Definition: ModelVisitor.java:435
static String getKLexLess()
Definition: ModelVisitor.java:217
void beginVisitExtension(String type)
Definition: ModelVisitor.java:725
void visitSequenceArrayArgument(String arg_name, SequenceVar[] arguments)
Definition: ModelVisitor.java:801
void visitIntegerVariable(IntVar variable, String operation, long value, IntVar delegate)
Definition: ModelVisitor.java:745
static String getKMinArgument()
Definition: ModelVisitor.java:547
static String getKScalProdEqual()
Definition: ModelVisitor.java:305
A BaseObject is the root of all reversibly allocated objects.
Definition: BaseObject.java:14
static String getKCumulative()
Definition: ModelVisitor.java:93
static String getKVarsArgument()
Definition: ModelVisitor.java:659
void beginVisitConstraint(String type_name, Constraint constraint)
Definition: ModelVisitor.java:717
static String getKDeviation()
Definition: ModelVisitor.java:97
static String getKFinalStatesArgument()
Definition: ModelVisitor.java:499
static String getKSumGreaterOrEqual()
Definition: ModelVisitor.java:345
static String getKNonEqual()
Definition: ModelVisitor.java:257
static String getKSolutionLimitArgument()
Definition: ModelVisitor.java:611
static String getKStartsArgument()
Definition: ModelVisitor.java:623
static String getKBranchesLimitArgument()
Definition: ModelVisitor.java:431
static String getKSemiContinuous()
Definition: ModelVisitor.java:317
static String getKEvaluatorArgument()
Definition: ModelVisitor.java:663
static String getKDistribute()
Definition: ModelVisitor.java:109
void visitIntegerMatrixArgument(String arg_name, IntTupleSet tuples)
Definition: ModelVisitor.java:768
static String getKEarlyCostArgument()
Definition: ModelVisitor.java:471
static String getKGreaterOrEqual()
Definition: ModelVisitor.java:149
void beginVisitModel(String type_name)
--— Virtual methods for visitors --— Begin/End visit element.
Definition: ModelVisitor.java:709
static String getKTuplesArgument()
Definition: ModelVisitor.java:643
static String getKBetween()
Definition: ModelVisitor.java:69
static String getKAllowedAssignments()
Definition: ModelVisitor.java:57
static String getKEndsArgument()
Definition: ModelVisitor.java:487
static String getKTargetArgument()
Definition: ModelVisitor.java:631
Interval variables are often used in scheduling.
void visitSequenceArgument(String arg_name, SequenceVar argument)
Visit sequence argument.
Definition: ModelVisitor.java:797
static String getKTransition()
Definition: ModelVisitor.java:357
static String getKDisjunctive()
Definition: ModelVisitor.java:105
static String getKValuesArgument()
Definition: ModelVisitor.java:651
void visitIntegerArgument(String arg_name, long value)
Visit integer arguments.
Definition: ModelVisitor.java:760
static String getKProductOperation()
Definition: ModelVisitor.java:690
static String getKSumOperation()
Definition: ModelVisitor.java:682
static String getKVarBoundWatcher()
Definition: ModelVisitor.java:365
static String getKCover()
Definition: ModelVisitor.java:89
static String getKScalProdGreaterOrEqual()
Definition: ModelVisitor.java:309
static String getKRelaxedMinOperation()
Definition: ModelVisitor.java:678
static String getKTrueConstraint()
Definition: ModelVisitor.java:361
void beginVisitIntegerExpression(String type_name, IntExpr expr)
Definition: ModelVisitor.java:733
static String getKSum()
Definition: ModelVisitor.java:337
ModelVisitor()
Definition: ModelVisitor.java:805
void visitIntegerVariableArrayArgument(String arg_name, IntVar[] arguments)
Definition: ModelVisitor.java:779
static String getKRelaxedMaxOperation()
Definition: ModelVisitor.java:674
static String getKIsGreater()
Definition: ModelVisitor.java:189
static String getKSizeYArgument()
Definition: ModelVisitor.java:603