Java Reference

Java Reference

ModelVisitor.java
Go to the documentation of this file.
1 /* ----------------------------------------------------------------------------
2  * This file was automatically generated by SWIG (http://www.swig.org).
3  * Version 4.0.1
4  *
5  * Do not make changes to this file unless you know what you are doing--modify
6  * the SWIG interface file instead.
7  * ----------------------------------------------------------------------------- */
8 
9 package com.google.ortools.constraintsolver;
10 
14 public class ModelVisitor extends BaseObject {
15  private transient long swigCPtr;
16 
17  protected ModelVisitor(long cPtr, boolean cMemoryOwn) {
18  super(mainJNI.ModelVisitor_SWIGUpcast(cPtr), cMemoryOwn);
19  swigCPtr = cPtr;
20  }
21 
22  protected static long getCPtr(ModelVisitor obj) {
23  return (obj == null) ? 0 : obj.swigCPtr;
24  }
25 
26  @SuppressWarnings("deprecation")
27  protected void finalize() {
28  delete();
29  }
30 
31  public synchronized void delete() {
32  if (swigCPtr != 0) {
33  if (swigCMemOwn) {
34  swigCMemOwn = false;
35  mainJNI.delete_ModelVisitor(swigCPtr);
36  }
37  swigCPtr = 0;
38  }
39  super.delete();
40  }
41 
45  public static String getKAbs() {
46  return mainJNI.ModelVisitor_kAbs_get();
47  }
48 
49  public static String getKAbsEqual() {
50  return mainJNI.ModelVisitor_kAbsEqual_get();
51  }
52 
53  public static String getKAllDifferent() {
54  return mainJNI.ModelVisitor_kAllDifferent_get();
55  }
56 
57  public static String getKAllowedAssignments() {
58  return mainJNI.ModelVisitor_kAllowedAssignments_get();
59  }
60 
61  public static String getKAtMost() {
62  return mainJNI.ModelVisitor_kAtMost_get();
63  }
64 
65  public static String getKIndexOf() {
66  return mainJNI.ModelVisitor_kIndexOf_get();
67  }
68 
69  public static String getKBetween() {
70  return mainJNI.ModelVisitor_kBetween_get();
71  }
72 
73  public static String getKConditionalExpr() {
74  return mainJNI.ModelVisitor_kConditionalExpr_get();
75  }
76 
77  public static String getKCircuit() {
78  return mainJNI.ModelVisitor_kCircuit_get();
79  }
80 
81  public static String getKConvexPiecewise() {
82  return mainJNI.ModelVisitor_kConvexPiecewise_get();
83  }
84 
85  public static String getKCountEqual() {
86  return mainJNI.ModelVisitor_kCountEqual_get();
87  }
88 
89  public static String getKCover() {
90  return mainJNI.ModelVisitor_kCover_get();
91  }
92 
93  public static String getKCumulative() {
94  return mainJNI.ModelVisitor_kCumulative_get();
95  }
96 
97  public static String getKDeviation() {
98  return mainJNI.ModelVisitor_kDeviation_get();
99  }
100 
101  public static String getKDifference() {
102  return mainJNI.ModelVisitor_kDifference_get();
103  }
104 
105  public static String getKDisjunctive() {
106  return mainJNI.ModelVisitor_kDisjunctive_get();
107  }
108 
109  public static String getKDistribute() {
110  return mainJNI.ModelVisitor_kDistribute_get();
111  }
112 
113  public static String getKDivide() {
114  return mainJNI.ModelVisitor_kDivide_get();
115  }
116 
117  public static String getKDurationExpr() {
118  return mainJNI.ModelVisitor_kDurationExpr_get();
119  }
120 
121  public static String getKElement() {
122  return mainJNI.ModelVisitor_kElement_get();
123  }
124 
125  public static String getKElementEqual() {
126  return mainJNI.ModelVisitor_kElementEqual_get();
127  }
128 
129  public static String getKEndExpr() {
130  return mainJNI.ModelVisitor_kEndExpr_get();
131  }
132 
133  public static String getKEquality() {
134  return mainJNI.ModelVisitor_kEquality_get();
135  }
136 
137  public static String getKFalseConstraint() {
138  return mainJNI.ModelVisitor_kFalseConstraint_get();
139  }
140 
141  public static String getKGlobalCardinality() {
142  return mainJNI.ModelVisitor_kGlobalCardinality_get();
143  }
144 
145  public static String getKGreater() {
146  return mainJNI.ModelVisitor_kGreater_get();
147  }
148 
149  public static String getKGreaterOrEqual() {
150  return mainJNI.ModelVisitor_kGreaterOrEqual_get();
151  }
152 
153  public static String getKIntegerVariable() {
154  return mainJNI.ModelVisitor_kIntegerVariable_get();
155  }
156 
157  public static String getKIntervalBinaryRelation() {
158  return mainJNI.ModelVisitor_kIntervalBinaryRelation_get();
159  }
160 
161  public static String getKIntervalDisjunction() {
162  return mainJNI.ModelVisitor_kIntervalDisjunction_get();
163  }
164 
165  public static String getKIntervalUnaryRelation() {
166  return mainJNI.ModelVisitor_kIntervalUnaryRelation_get();
167  }
168 
169  public static String getKIntervalVariable() {
170  return mainJNI.ModelVisitor_kIntervalVariable_get();
171  }
172 
173  public static String getKInversePermutation() {
174  return mainJNI.ModelVisitor_kInversePermutation_get();
175  }
176 
177  public static String getKIsBetween() {
178  return mainJNI.ModelVisitor_kIsBetween_get();
179  }
180 
181  public static String getKIsDifferent() {
182  return mainJNI.ModelVisitor_kIsDifferent_get();
183  }
184 
185  public static String getKIsEqual() {
186  return mainJNI.ModelVisitor_kIsEqual_get();
187  }
188 
189  public static String getKIsGreater() {
190  return mainJNI.ModelVisitor_kIsGreater_get();
191  }
192 
193  public static String getKIsGreaterOrEqual() {
194  return mainJNI.ModelVisitor_kIsGreaterOrEqual_get();
195  }
196 
197  public static String getKIsLess() {
198  return mainJNI.ModelVisitor_kIsLess_get();
199  }
200 
201  public static String getKIsLessOrEqual() {
202  return mainJNI.ModelVisitor_kIsLessOrEqual_get();
203  }
204 
205  public static String getKIsMember() {
206  return mainJNI.ModelVisitor_kIsMember_get();
207  }
208 
209  public static String getKLess() {
210  return mainJNI.ModelVisitor_kLess_get();
211  }
212 
213  public static String getKLessOrEqual() {
214  return mainJNI.ModelVisitor_kLessOrEqual_get();
215  }
216 
217  public static String getKLexLess() {
218  return mainJNI.ModelVisitor_kLexLess_get();
219  }
220 
221  public static String getKLinkExprVar() {
222  return mainJNI.ModelVisitor_kLinkExprVar_get();
223  }
224 
225  public static String getKMapDomain() {
226  return mainJNI.ModelVisitor_kMapDomain_get();
227  }
228 
229  public static String getKMax() {
230  return mainJNI.ModelVisitor_kMax_get();
231  }
232 
233  public static String getKMaxEqual() {
234  return mainJNI.ModelVisitor_kMaxEqual_get();
235  }
236 
237  public static String getKMember() {
238  return mainJNI.ModelVisitor_kMember_get();
239  }
240 
241  public static String getKMin() {
242  return mainJNI.ModelVisitor_kMin_get();
243  }
244 
245  public static String getKMinEqual() {
246  return mainJNI.ModelVisitor_kMinEqual_get();
247  }
248 
249  public static String getKModulo() {
250  return mainJNI.ModelVisitor_kModulo_get();
251  }
252 
253  public static String getKNoCycle() {
254  return mainJNI.ModelVisitor_kNoCycle_get();
255  }
256 
257  public static String getKNonEqual() {
258  return mainJNI.ModelVisitor_kNonEqual_get();
259  }
260 
261  public static String getKNotBetween() {
262  return mainJNI.ModelVisitor_kNotBetween_get();
263  }
264 
265  public static String getKNotMember() {
266  return mainJNI.ModelVisitor_kNotMember_get();
267  }
268 
269  public static String getKNullIntersect() {
270  return mainJNI.ModelVisitor_kNullIntersect_get();
271  }
272 
273  public static String getKOpposite() {
274  return mainJNI.ModelVisitor_kOpposite_get();
275  }
276 
277  public static String getKPack() {
278  return mainJNI.ModelVisitor_kPack_get();
279  }
280 
281  public static String getKPathCumul() {
282  return mainJNI.ModelVisitor_kPathCumul_get();
283  }
284 
285  public static String getKDelayedPathCumul() {
286  return mainJNI.ModelVisitor_kDelayedPathCumul_get();
287  }
288 
289  public static String getKPerformedExpr() {
290  return mainJNI.ModelVisitor_kPerformedExpr_get();
291  }
292 
293  public static String getKPower() {
294  return mainJNI.ModelVisitor_kPower_get();
295  }
296 
297  public static String getKProduct() {
298  return mainJNI.ModelVisitor_kProduct_get();
299  }
300 
301  public static String getKScalProd() {
302  return mainJNI.ModelVisitor_kScalProd_get();
303  }
304 
305  public static String getKScalProdEqual() {
306  return mainJNI.ModelVisitor_kScalProdEqual_get();
307  }
308 
309  public static String getKScalProdGreaterOrEqual() {
310  return mainJNI.ModelVisitor_kScalProdGreaterOrEqual_get();
311  }
312 
313  public static String getKScalProdLessOrEqual() {
314  return mainJNI.ModelVisitor_kScalProdLessOrEqual_get();
315  }
316 
317  public static String getKSemiContinuous() {
318  return mainJNI.ModelVisitor_kSemiContinuous_get();
319  }
320 
321  public static String getKSequenceVariable() {
322  return mainJNI.ModelVisitor_kSequenceVariable_get();
323  }
324 
325  public static String getKSortingConstraint() {
326  return mainJNI.ModelVisitor_kSortingConstraint_get();
327  }
328 
329  public static String getKSquare() {
330  return mainJNI.ModelVisitor_kSquare_get();
331  }
332 
333  public static String getKStartExpr() {
334  return mainJNI.ModelVisitor_kStartExpr_get();
335  }
336 
337  public static String getKSum() {
338  return mainJNI.ModelVisitor_kSum_get();
339  }
340 
341  public static String getKSumEqual() {
342  return mainJNI.ModelVisitor_kSumEqual_get();
343  }
344 
345  public static String getKSumGreaterOrEqual() {
346  return mainJNI.ModelVisitor_kSumGreaterOrEqual_get();
347  }
348 
349  public static String getKSumLessOrEqual() {
350  return mainJNI.ModelVisitor_kSumLessOrEqual_get();
351  }
352 
353  public static String getKTrace() {
354  return mainJNI.ModelVisitor_kTrace_get();
355  }
356 
357  public static String getKTransition() {
358  return mainJNI.ModelVisitor_kTransition_get();
359  }
360 
361  public static String getKTrueConstraint() {
362  return mainJNI.ModelVisitor_kTrueConstraint_get();
363  }
364 
365  public static String getKVarBoundWatcher() {
366  return mainJNI.ModelVisitor_kVarBoundWatcher_get();
367  }
368 
369  public static String getKVarValueWatcher() {
370  return mainJNI.ModelVisitor_kVarValueWatcher_get();
371  }
372 
376  public static String getKCountAssignedItemsExtension() {
377  return mainJNI.ModelVisitor_kCountAssignedItemsExtension_get();
378  }
379 
380  public static String getKCountUsedBinsExtension() {
381  return mainJNI.ModelVisitor_kCountUsedBinsExtension_get();
382  }
383 
384  public static String getKInt64ToBoolExtension() {
385  return mainJNI.ModelVisitor_kInt64ToBoolExtension_get();
386  }
387 
388  public static String getKInt64ToInt64Extension() {
389  return mainJNI.ModelVisitor_kInt64ToInt64Extension_get();
390  }
391 
392  public static String getKObjectiveExtension() {
393  return mainJNI.ModelVisitor_kObjectiveExtension_get();
394  }
395 
396  public static String getKSearchLimitExtension() {
397  return mainJNI.ModelVisitor_kSearchLimitExtension_get();
398  }
399 
400  public static String getKUsageEqualVariableExtension() {
401  return mainJNI.ModelVisitor_kUsageEqualVariableExtension_get();
402  }
403 
404  public static String getKUsageLessConstantExtension() {
405  return mainJNI.ModelVisitor_kUsageLessConstantExtension_get();
406  }
407 
408  public static String getKVariableGroupExtension() {
409  return mainJNI.ModelVisitor_kVariableGroupExtension_get();
410  }
411 
412  public static String getKVariableUsageLessConstantExtension() {
413  return mainJNI.ModelVisitor_kVariableUsageLessConstantExtension_get();
414  }
415 
417  return mainJNI.ModelVisitor_kWeightedSumOfAssignedEqualVariableExtension_get();
418  }
419 
423  public static String getKActiveArgument() {
424  return mainJNI.ModelVisitor_kActiveArgument_get();
425  }
426 
427  public static String getKAssumePathsArgument() {
428  return mainJNI.ModelVisitor_kAssumePathsArgument_get();
429  }
430 
431  public static String getKBranchesLimitArgument() {
432  return mainJNI.ModelVisitor_kBranchesLimitArgument_get();
433  }
434 
435  public static String getKCapacityArgument() {
436  return mainJNI.ModelVisitor_kCapacityArgument_get();
437  }
438 
439  public static String getKCardsArgument() {
440  return mainJNI.ModelVisitor_kCardsArgument_get();
441  }
442 
443  public static String getKCoefficientsArgument() {
444  return mainJNI.ModelVisitor_kCoefficientsArgument_get();
445  }
446 
447  public static String getKCountArgument() {
448  return mainJNI.ModelVisitor_kCountArgument_get();
449  }
450 
451  public static String getKCumulativeArgument() {
452  return mainJNI.ModelVisitor_kCumulativeArgument_get();
453  }
454 
455  public static String getKCumulsArgument() {
456  return mainJNI.ModelVisitor_kCumulsArgument_get();
457  }
458 
459  public static String getKDemandsArgument() {
460  return mainJNI.ModelVisitor_kDemandsArgument_get();
461  }
462 
463  public static String getKDurationMaxArgument() {
464  return mainJNI.ModelVisitor_kDurationMaxArgument_get();
465  }
466 
467  public static String getKDurationMinArgument() {
468  return mainJNI.ModelVisitor_kDurationMinArgument_get();
469  }
470 
471  public static String getKEarlyCostArgument() {
472  return mainJNI.ModelVisitor_kEarlyCostArgument_get();
473  }
474 
475  public static String getKEarlyDateArgument() {
476  return mainJNI.ModelVisitor_kEarlyDateArgument_get();
477  }
478 
479  public static String getKEndMaxArgument() {
480  return mainJNI.ModelVisitor_kEndMaxArgument_get();
481  }
482 
483  public static String getKEndMinArgument() {
484  return mainJNI.ModelVisitor_kEndMinArgument_get();
485  }
486 
487  public static String getKEndsArgument() {
488  return mainJNI.ModelVisitor_kEndsArgument_get();
489  }
490 
491  public static String getKExpressionArgument() {
492  return mainJNI.ModelVisitor_kExpressionArgument_get();
493  }
494 
495  public static String getKFailuresLimitArgument() {
496  return mainJNI.ModelVisitor_kFailuresLimitArgument_get();
497  }
498 
499  public static String getKFinalStatesArgument() {
500  return mainJNI.ModelVisitor_kFinalStatesArgument_get();
501  }
502 
503  public static String getKFixedChargeArgument() {
504  return mainJNI.ModelVisitor_kFixedChargeArgument_get();
505  }
506 
507  public static String getKIndex2Argument() {
508  return mainJNI.ModelVisitor_kIndex2Argument_get();
509  }
510 
511  public static String getKIndexArgument() {
512  return mainJNI.ModelVisitor_kIndexArgument_get();
513  }
514 
515  public static String getKInitialState() {
516  return mainJNI.ModelVisitor_kInitialState_get();
517  }
518 
519  public static String getKIntervalArgument() {
520  return mainJNI.ModelVisitor_kIntervalArgument_get();
521  }
522 
523  public static String getKIntervalsArgument() {
524  return mainJNI.ModelVisitor_kIntervalsArgument_get();
525  }
526 
527  public static String getKLateCostArgument() {
528  return mainJNI.ModelVisitor_kLateCostArgument_get();
529  }
530 
531  public static String getKLateDateArgument() {
532  return mainJNI.ModelVisitor_kLateDateArgument_get();
533  }
534 
535  public static String getKLeftArgument() {
536  return mainJNI.ModelVisitor_kLeftArgument_get();
537  }
538 
539  public static String getKMaxArgument() {
540  return mainJNI.ModelVisitor_kMaxArgument_get();
541  }
542 
543  public static String getKMaximizeArgument() {
544  return mainJNI.ModelVisitor_kMaximizeArgument_get();
545  }
546 
547  public static String getKMinArgument() {
548  return mainJNI.ModelVisitor_kMinArgument_get();
549  }
550 
551  public static String getKModuloArgument() {
552  return mainJNI.ModelVisitor_kModuloArgument_get();
553  }
554 
555  public static String getKNextsArgument() {
556  return mainJNI.ModelVisitor_kNextsArgument_get();
557  }
558 
559  public static String getKOptionalArgument() {
560  return mainJNI.ModelVisitor_kOptionalArgument_get();
561  }
562 
563  public static String getKPartialArgument() {
564  return mainJNI.ModelVisitor_kPartialArgument_get();
565  }
566 
567  public static String getKPositionXArgument() {
568  return mainJNI.ModelVisitor_kPositionXArgument_get();
569  }
570 
571  public static String getKPositionYArgument() {
572  return mainJNI.ModelVisitor_kPositionYArgument_get();
573  }
574 
575  public static String getKRangeArgument() {
576  return mainJNI.ModelVisitor_kRangeArgument_get();
577  }
578 
579  public static String getKRelationArgument() {
580  return mainJNI.ModelVisitor_kRelationArgument_get();
581  }
582 
583  public static String getKRightArgument() {
584  return mainJNI.ModelVisitor_kRightArgument_get();
585  }
586 
587  public static String getKSequenceArgument() {
588  return mainJNI.ModelVisitor_kSequenceArgument_get();
589  }
590 
591  public static String getKSequencesArgument() {
592  return mainJNI.ModelVisitor_kSequencesArgument_get();
593  }
594 
595  public static String getKSizeArgument() {
596  return mainJNI.ModelVisitor_kSizeArgument_get();
597  }
598 
599  public static String getKSizeXArgument() {
600  return mainJNI.ModelVisitor_kSizeXArgument_get();
601  }
602 
603  public static String getKSizeYArgument() {
604  return mainJNI.ModelVisitor_kSizeYArgument_get();
605  }
606 
607  public static String getKSmartTimeCheckArgument() {
608  return mainJNI.ModelVisitor_kSmartTimeCheckArgument_get();
609  }
610 
611  public static String getKSolutionLimitArgument() {
612  return mainJNI.ModelVisitor_kSolutionLimitArgument_get();
613  }
614 
615  public static String getKStartMaxArgument() {
616  return mainJNI.ModelVisitor_kStartMaxArgument_get();
617  }
618 
619  public static String getKStartMinArgument() {
620  return mainJNI.ModelVisitor_kStartMinArgument_get();
621  }
622 
623  public static String getKStartsArgument() {
624  return mainJNI.ModelVisitor_kStartsArgument_get();
625  }
626 
627  public static String getKStepArgument() {
628  return mainJNI.ModelVisitor_kStepArgument_get();
629  }
630 
631  public static String getKTargetArgument() {
632  return mainJNI.ModelVisitor_kTargetArgument_get();
633  }
634 
635  public static String getKTimeLimitArgument() {
636  return mainJNI.ModelVisitor_kTimeLimitArgument_get();
637  }
638 
639  public static String getKTransitsArgument() {
640  return mainJNI.ModelVisitor_kTransitsArgument_get();
641  }
642 
643  public static String getKTuplesArgument() {
644  return mainJNI.ModelVisitor_kTuplesArgument_get();
645  }
646 
647  public static String getKValueArgument() {
648  return mainJNI.ModelVisitor_kValueArgument_get();
649  }
650 
651  public static String getKValuesArgument() {
652  return mainJNI.ModelVisitor_kValuesArgument_get();
653  }
654 
655  public static String getKVariableArgument() {
656  return mainJNI.ModelVisitor_kVariableArgument_get();
657  }
658 
659  public static String getKVarsArgument() {
660  return mainJNI.ModelVisitor_kVarsArgument_get();
661  }
662 
663  public static String getKEvaluatorArgument() {
664  return mainJNI.ModelVisitor_kEvaluatorArgument_get();
665  }
666 
670  public static String getKMirrorOperation() {
671  return mainJNI.ModelVisitor_kMirrorOperation_get();
672  }
673 
674  public static String getKRelaxedMaxOperation() {
675  return mainJNI.ModelVisitor_kRelaxedMaxOperation_get();
676  }
677 
678  public static String getKRelaxedMinOperation() {
679  return mainJNI.ModelVisitor_kRelaxedMinOperation_get();
680  }
681 
682  public static String getKSumOperation() {
683  return mainJNI.ModelVisitor_kSumOperation_get();
684  }
685 
686  public static String getKDifferenceOperation() {
687  return mainJNI.ModelVisitor_kDifferenceOperation_get();
688  }
689 
690  public static String getKProductOperation() {
691  return mainJNI.ModelVisitor_kProductOperation_get();
692  }
693 
694  public static String getKStartSyncOnStartOperation() {
695  return mainJNI.ModelVisitor_kStartSyncOnStartOperation_get();
696  }
697 
698  public static String getKStartSyncOnEndOperation() {
699  return mainJNI.ModelVisitor_kStartSyncOnEndOperation_get();
700  }
701 
702  public static String getKTraceOperation() {
703  return mainJNI.ModelVisitor_kTraceOperation_get();
704  }
705 
709  public void beginVisitModel(String type_name) {
710  mainJNI.ModelVisitor_beginVisitModel(swigCPtr, this, type_name);
711  }
712 
713  public void endVisitModel(String type_name) {
714  mainJNI.ModelVisitor_endVisitModel(swigCPtr, this, type_name);
715  }
716 
717  public void beginVisitConstraint(String type_name, Constraint constraint) {
718  mainJNI.ModelVisitor_beginVisitConstraint(swigCPtr, this, type_name, Constraint.getCPtr(constraint), constraint);
719  }
720 
721  public void endVisitConstraint(String type_name, Constraint constraint) {
722  mainJNI.ModelVisitor_endVisitConstraint(swigCPtr, this, type_name, Constraint.getCPtr(constraint), constraint);
723  }
724 
725  public void beginVisitExtension(String type) {
726  mainJNI.ModelVisitor_beginVisitExtension(swigCPtr, this, type);
727  }
728 
729  public void endVisitExtension(String type) {
730  mainJNI.ModelVisitor_endVisitExtension(swigCPtr, this, type);
731  }
732 
733  public void beginVisitIntegerExpression(String type_name, IntExpr expr) {
734  mainJNI.ModelVisitor_beginVisitIntegerExpression(swigCPtr, this, type_name, IntExpr.getCPtr(expr), expr);
735  }
736 
737  public void endVisitIntegerExpression(String type_name, IntExpr expr) {
738  mainJNI.ModelVisitor_endVisitIntegerExpression(swigCPtr, this, type_name, IntExpr.getCPtr(expr), expr);
739  }
740 
741  public void visitIntegerVariable(IntVar variable, IntExpr delegate) {
742  mainJNI.ModelVisitor_visitIntegerVariable__SWIG_0(swigCPtr, this, IntVar.getCPtr(variable), variable, IntExpr.getCPtr(delegate), delegate);
743  }
744 
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);
747  }
748 
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);
751  }
752 
753  public void visitSequenceVariable(SequenceVar variable) {
754  mainJNI.ModelVisitor_visitSequenceVariable(swigCPtr, this, SequenceVar.getCPtr(variable), variable);
755  }
756 
760  public void visitIntegerArgument(String arg_name, long value) {
761  mainJNI.ModelVisitor_visitIntegerArgument(swigCPtr, this, arg_name, value);
762  }
763 
764  public void visitIntegerArrayArgument(String arg_name, long[] values) {
765  mainJNI.ModelVisitor_visitIntegerArrayArgument(swigCPtr, this, arg_name, values);
766  }
767 
768  public void visitIntegerMatrixArgument(String arg_name, IntTupleSet tuples) {
769  mainJNI.ModelVisitor_visitIntegerMatrixArgument(swigCPtr, this, arg_name, IntTupleSet.getCPtr(tuples), tuples);
770  }
771 
775  public void visitIntegerExpressionArgument(String arg_name, IntExpr argument) {
776  mainJNI.ModelVisitor_visitIntegerExpressionArgument(swigCPtr, this, arg_name, IntExpr.getCPtr(argument), argument);
777  }
778 
779  public void visitIntegerVariableArrayArgument(String arg_name, IntVar[] arguments) {
780  mainJNI.ModelVisitor_visitIntegerVariableArrayArgument(swigCPtr, this, arg_name, arguments);
781  }
782 
786  public void visitIntervalArgument(String arg_name, IntervalVar argument) {
787  mainJNI.ModelVisitor_visitIntervalArgument(swigCPtr, this, arg_name, IntervalVar.getCPtr(argument), argument);
788  }
789 
790  public void visitIntervalArrayArgument(String arg_name, IntervalVar[] arguments) {
791  mainJNI.ModelVisitor_visitIntervalArrayArgument(swigCPtr, this, arg_name, arguments);
792  }
793 
797  public void visitSequenceArgument(String arg_name, SequenceVar argument) {
798  mainJNI.ModelVisitor_visitSequenceArgument(swigCPtr, this, arg_name, SequenceVar.getCPtr(argument), argument);
799  }
800 
801  public void visitSequenceArrayArgument(String arg_name, SequenceVar[] arguments) {
802  mainJNI.ModelVisitor_visitSequenceArrayArgument(swigCPtr, this, arg_name, arguments);
803  }
804 
805  public ModelVisitor() {
806  this(mainJNI.new_ModelVisitor(), true);
807  }
808 
809 }
static String getKNotMember()
static String getKPerformedExpr()
static String getKStartSyncOnEndOperation()
static String getKSequenceArgument()
A constraint is the main modeling object.
static String getKMapDomain()
void visitIntegerVariable(IntVar variable, IntExpr delegate)
static String getKTransitsArgument()
void visitIntervalArgument(String arg_name, IntervalVar argument)
Visit interval argument.
static String getKLinkExprVar()
static String getKUsageLessConstantExtension()
static String getKPartialArgument()
static String getKInversePermutation()
static String getKIsGreaterOrEqual()
static String getKStepArgument()
static String getKModulo()
static String getKIntervalsArgument()
static String getKDemandsArgument()
static String getKIsEqual()
void visitIntervalArrayArgument(String arg_name, IntervalVar[] arguments)
static String getKSequencesArgument()
static String getKStartSyncOnStartOperation()
void endVisitModel(String type_name)
static String getKIntervalBinaryRelation()
static String getKAtMost()
static String getKSumLessOrEqual()
static String getKInitialState()
static String getKInt64ToInt64Extension()
static String getKGlobalCardinality()
static String getKMaxEqual()
static String getKDelayedPathCumul()
void visitIntegerArrayArgument(String arg_name, long[] values)
void endVisitConstraint(String type_name, Constraint constraint)
static String getKValueArgument()
static String getKSumEqual()
static String getKRangeArgument()
static String getKIsBetween()
static String getKAbsEqual()
static String getKDurationExpr()
Model visitor.
The class IntExpr is the base of all integer expressions in constraint programming.
Definition: IntExpr.java:14
static String getKExpressionArgument()
static String getKVarValueWatcher()
static String getKPower()
static String getKScalProd()
static String getKDurationMinArgument()
void endVisitIntegerExpression(String type_name, IntExpr expr)
static String getKProduct()
static String getKMember()
static String getKIndexOf()
static String getKDurationMaxArgument()
static String getKIntegerVariable()
static String getKCountArgument()
void visitIntegerExpressionArgument(String arg_name, IntExpr argument)
Visit integer expression argument.
static String getKFalseConstraint()
static String getKLateDateArgument()
static String getKMaximizeArgument()
static String getKDifference()
static String getKPathCumul()
The class IntVar is a subset of IntExpr.
static String getKLessOrEqual()
static String getKLeftArgument()
static String getKMirrorOperation()
Operations.
A sequence variable is a variable whose domain is a set of possible orderings of the interval variabl...
static String getKEndMaxArgument()
static String getKFixedChargeArgument()
static String getKGreater()
static String getKFailuresLimitArgument()
static String getKCumulativeArgument()
static String getKActiveArgument()
argument names:
static String getKNullIntersect()
static String getKCountEqual()
static String getKAbs()
Constraint and Expression types.
static String getKDifferenceOperation()
static String getKSearchLimitExtension()
static String getKCircuit()
static String getKTraceOperation()
static String getKNextsArgument()
static String getKOpposite()
static String getKModuloArgument()
void visitIntervalVariable(IntervalVar variable, String operation, long value, IntervalVar delegate)
static String getKElement()
static String getKSortingConstraint()
static String getKMinEqual()
static String getKAllDifferent()
static String getKUsageEqualVariableExtension()
void visitSequenceVariable(SequenceVar variable)
static String getKIntervalArgument()
static String getKStartMinArgument()
static String getKSizeArgument()
static String getKPositionYArgument()
static String getKLateCostArgument()
static String getKIsLess()
static String getKIntervalDisjunction()
ModelVisitor(long cPtr, boolean cMemoryOwn)
static String getKIndex2Argument()
static String getKTrace()
static String getKEndMinArgument()
static String getKIntervalVariable()
static String getKVariableArgument()
static String getKConditionalExpr()
static String getKVariableGroupExtension()
static String getKCardsArgument()
static String getKCoefficientsArgument()
static String getKMax()
static String getKConvexPiecewise()
static String getKSmartTimeCheckArgument()
static String getKSequenceVariable()
static String getKCountAssignedItemsExtension()
Extension names:
static String getKEquality()
static String getKNoCycle()
static String getKOptionalArgument()
void endVisitExtension(String type)
static String getKCumulsArgument()
static String getKNotBetween()
static String getKScalProdLessOrEqual()
static String getKIsLessOrEqual()
static String getKIsMember()
static String getKRelationArgument()
static String getKEarlyDateArgument()
static String getKMin()
static String getKSquare()
static String getKEndExpr()
static String getKStartMaxArgument()
static String getKStartExpr()
static String getKDivide()
static String getKElementEqual()
static String getKPack()
static String getKIndexArgument()
static String getKPositionXArgument()
static String getKInt64ToBoolExtension()
static String getKWeightedSumOfAssignedEqualVariableExtension()
static String getKLess()
static String getKAssumePathsArgument()
static String getKTimeLimitArgument()
static String getKSizeXArgument()
static String getKRightArgument()
static String getKIsDifferent()
static String getKMaxArgument()
static String getKCountUsedBinsExtension()
static String getKVariableUsageLessConstantExtension()
static String getKIntervalUnaryRelation()
static String getKObjectiveExtension()
static String getKCapacityArgument()
static String getKLexLess()
void beginVisitExtension(String type)
void visitSequenceArrayArgument(String arg_name, SequenceVar[] arguments)
void visitIntegerVariable(IntVar variable, String operation, long value, IntVar delegate)
static String getKMinArgument()
static String getKScalProdEqual()
A BaseObject is the root of all reversibly allocated objects.
Definition: BaseObject.java:14
static String getKCumulative()
static String getKVarsArgument()
void beginVisitConstraint(String type_name, Constraint constraint)
static String getKDeviation()
static String getKFinalStatesArgument()
static String getKSumGreaterOrEqual()
static String getKNonEqual()
static String getKSolutionLimitArgument()
static String getKStartsArgument()
static String getKBranchesLimitArgument()
static String getKSemiContinuous()
static String getKEvaluatorArgument()
static String getKDistribute()
void visitIntegerMatrixArgument(String arg_name, IntTupleSet tuples)
static String getKEarlyCostArgument()
static String getKGreaterOrEqual()
void beginVisitModel(String type_name)
--— Virtual methods for visitors --— Begin/End visit element.
static String getKTuplesArgument()
static String getKBetween()
static String getKAllowedAssignments()
static String getKEndsArgument()
static String getKTargetArgument()
Interval variables are often used in scheduling.
void visitSequenceArgument(String arg_name, SequenceVar argument)
Visit sequence argument.
static String getKTransition()
static String getKDisjunctive()
static String getKValuesArgument()
void visitIntegerArgument(String arg_name, long value)
Visit integer arguments.
static String getKProductOperation()
static String getKSumOperation()
static String getKVarBoundWatcher()
static String getKCover()
static String getKScalProdGreaterOrEqual()
static String getKRelaxedMinOperation()
static String getKTrueConstraint()
void beginVisitIntegerExpression(String type_name, IntExpr expr)
static String getKSum()
ModelVisitor()
void visitIntegerVariableArrayArgument(String arg_name, IntVar[] arguments)
static String getKRelaxedMaxOperation()
static String getKIsGreater()
static String getKSizeYArgument()