Java Reference

Java Reference

Assignment.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.2
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
9package com.google.ortools.constraintsolver;
10
15public class Assignment extends PropagationBaseObject {
16 private transient long swigCPtr;
17
18 protected Assignment(long cPtr, boolean cMemoryOwn) {
19 super(mainJNI.Assignment_SWIGUpcast(cPtr), cMemoryOwn);
20 swigCPtr = cPtr;
21 }
22
23 protected static long getCPtr(Assignment obj) {
24 return (obj == null) ? 0 : obj.swigCPtr;
25 }
26
27 @SuppressWarnings("deprecation")
28 protected void finalize() {
29 delete();
30 }
31
32 public synchronized void delete() {
33 if (swigCPtr != 0) {
34 if (swigCMemOwn) {
35 swigCMemOwn = false;
36 mainJNI.delete_Assignment(swigCPtr);
37 }
38 swigCPtr = 0;
39 }
40 super.delete();
41 }
42
43 public Assignment(Solver s) {
44 this(mainJNI.new_Assignment__SWIG_0(Solver.getCPtr(s), s), true);
45 }
46
48 this(mainJNI.new_Assignment__SWIG_1(Assignment.getCPtr(copy), copy), true);
49 }
50
51 public void clear() {
52 mainJNI.Assignment_clear(swigCPtr, this);
53 }
54
55 public boolean empty() {
56 return mainJNI.Assignment_empty(swigCPtr, this);
57 }
58
59 public int size() {
60 return mainJNI.Assignment_size(swigCPtr, this);
61 }
62
63 public int numIntVars() {
64 return mainJNI.Assignment_numIntVars(swigCPtr, this);
65 }
66
67 public int numIntervalVars() {
68 return mainJNI.Assignment_numIntervalVars(swigCPtr, this);
69 }
70
71 public int numSequenceVars() {
72 return mainJNI.Assignment_numSequenceVars(swigCPtr, this);
73 }
74
75 public void store() {
76 mainJNI.Assignment_store(swigCPtr, this);
77 }
78
79 public void restore() {
80 mainJNI.Assignment_restore(swigCPtr, this);
81 }
82
87 public boolean load(String filename) {
88 return mainJNI.Assignment_load(swigCPtr, this, filename);
89 }
90
94 public boolean save(String filename) {
95 return mainJNI.Assignment_save(swigCPtr, this, filename);
96 }
97
98 public void addObjective(IntVar v) {
99 mainJNI.Assignment_addObjective(swigCPtr, this, IntVar.getCPtr(v), v);
100 }
101
102 public void ClearObjective() {
103 mainJNI.Assignment_ClearObjective(swigCPtr, this);
104 }
105
106 public IntVar objective() {
107 long cPtr = mainJNI.Assignment_objective(swigCPtr, this);
108 return (cPtr == 0) ? null : new IntVar(cPtr, false);
109 }
110
111 public boolean hasObjective() {
112 return mainJNI.Assignment_hasObjective(swigCPtr, this);
113 }
114
115 public long objectiveMin() {
116 return mainJNI.Assignment_objectiveMin(swigCPtr, this);
117 }
118
119 public long objectiveMax() {
120 return mainJNI.Assignment_objectiveMax(swigCPtr, this);
121 }
122
123 public long objectiveValue() {
124 return mainJNI.Assignment_objectiveValue(swigCPtr, this);
125 }
126
127 public boolean objectiveBound() {
128 return mainJNI.Assignment_objectiveBound(swigCPtr, this);
129 }
130
131 public void setObjectiveMin(long m) {
132 mainJNI.Assignment_setObjectiveMin(swigCPtr, this, m);
133 }
134
135 public void setObjectiveMax(long m) {
136 mainJNI.Assignment_setObjectiveMax(swigCPtr, this, m);
137 }
138
139 public void setObjectiveValue(long value) {
140 mainJNI.Assignment_setObjectiveValue(swigCPtr, this, value);
141 }
142
143 public void setObjectiveRange(long l, long u) {
144 mainJNI.Assignment_setObjectiveRange(swigCPtr, this, l, u);
145 }
146
148 long cPtr = mainJNI.Assignment_add__SWIG_0(swigCPtr, this, IntVar.getCPtr(var), var);
149 return (cPtr == 0) ? null : new IntVarElement(cPtr, false);
150 }
151
152 public void add(IntVar[] vars) {
153 mainJNI.Assignment_add__SWIG_1(swigCPtr, this, vars);
154 }
155
160 long cPtr = mainJNI.Assignment_fastAdd__SWIG_0(swigCPtr, this, IntVar.getCPtr(var), var);
161 return (cPtr == 0) ? null : new IntVarElement(cPtr, false);
162 }
163
164 public long min(IntVar var) {
165 return mainJNI.Assignment_min(swigCPtr, this, IntVar.getCPtr(var), var);
166 }
167
168 public long max(IntVar var) {
169 return mainJNI.Assignment_max(swigCPtr, this, IntVar.getCPtr(var), var);
170 }
171
172 public long value(IntVar var) {
173 return mainJNI.Assignment_value(swigCPtr, this, IntVar.getCPtr(var), var);
174 }
175
176 public boolean bound(IntVar var) {
177 return mainJNI.Assignment_bound(swigCPtr, this, IntVar.getCPtr(var), var);
178 }
179
180 public void setMin(IntVar var, long m) {
181 mainJNI.Assignment_setMin(swigCPtr, this, IntVar.getCPtr(var), var, m);
182 }
183
184 public void setMax(IntVar var, long m) {
185 mainJNI.Assignment_setMax(swigCPtr, this, IntVar.getCPtr(var), var, m);
186 }
187
188 public void setRange(IntVar var, long l, long u) {
189 mainJNI.Assignment_setRange(swigCPtr, this, IntVar.getCPtr(var), var, l, u);
190 }
191
192 public void setValue(IntVar var, long value) {
193 mainJNI.Assignment_setValue(swigCPtr, this, IntVar.getCPtr(var), var, value);
194 }
195
197 long cPtr = mainJNI.Assignment_add__SWIG_2(swigCPtr, this, IntervalVar.getCPtr(var), var);
198 return (cPtr == 0) ? null : new IntervalVarElement(cPtr, false);
199 }
200
201 public void add(IntervalVar[] vars) {
202 mainJNI.Assignment_add__SWIG_3(swigCPtr, this, vars);
203 }
204
209 long cPtr = mainJNI.Assignment_fastAdd__SWIG_1(swigCPtr, this, IntervalVar.getCPtr(var), var);
210 return (cPtr == 0) ? null : new IntervalVarElement(cPtr, false);
211 }
212
213 public long startMin(IntervalVar var) {
214 return mainJNI.Assignment_startMin(swigCPtr, this, IntervalVar.getCPtr(var), var);
215 }
216
217 public long startMax(IntervalVar var) {
218 return mainJNI.Assignment_startMax(swigCPtr, this, IntervalVar.getCPtr(var), var);
219 }
220
221 public long startValue(IntervalVar var) {
222 return mainJNI.Assignment_startValue(swigCPtr, this, IntervalVar.getCPtr(var), var);
223 }
224
225 public long durationMin(IntervalVar var) {
226 return mainJNI.Assignment_durationMin(swigCPtr, this, IntervalVar.getCPtr(var), var);
227 }
228
229 public long durationMax(IntervalVar var) {
230 return mainJNI.Assignment_durationMax(swigCPtr, this, IntervalVar.getCPtr(var), var);
231 }
232
233 public long durationValue(IntervalVar var) {
234 return mainJNI.Assignment_durationValue(swigCPtr, this, IntervalVar.getCPtr(var), var);
235 }
236
237 public long endMin(IntervalVar var) {
238 return mainJNI.Assignment_endMin(swigCPtr, this, IntervalVar.getCPtr(var), var);
239 }
240
241 public long endMax(IntervalVar var) {
242 return mainJNI.Assignment_endMax(swigCPtr, this, IntervalVar.getCPtr(var), var);
243 }
244
245 public long endValue(IntervalVar var) {
246 return mainJNI.Assignment_endValue(swigCPtr, this, IntervalVar.getCPtr(var), var);
247 }
248
249 public long performedMin(IntervalVar var) {
250 return mainJNI.Assignment_performedMin(swigCPtr, this, IntervalVar.getCPtr(var), var);
251 }
252
253 public long performedMax(IntervalVar var) {
254 return mainJNI.Assignment_performedMax(swigCPtr, this, IntervalVar.getCPtr(var), var);
255 }
256
257 public long performedValue(IntervalVar var) {
258 return mainJNI.Assignment_performedValue(swigCPtr, this, IntervalVar.getCPtr(var), var);
259 }
260
261 public void setStartMin(IntervalVar var, long m) {
262 mainJNI.Assignment_setStartMin(swigCPtr, this, IntervalVar.getCPtr(var), var, m);
263 }
264
265 public void setStartMax(IntervalVar var, long m) {
266 mainJNI.Assignment_setStartMax(swigCPtr, this, IntervalVar.getCPtr(var), var, m);
267 }
268
269 public void setStartRange(IntervalVar var, long mi, long ma) {
270 mainJNI.Assignment_setStartRange(swigCPtr, this, IntervalVar.getCPtr(var), var, mi, ma);
271 }
272
273 public void setStartValue(IntervalVar var, long value) {
274 mainJNI.Assignment_setStartValue(swigCPtr, this, IntervalVar.getCPtr(var), var, value);
275 }
276
277 public void setDurationMin(IntervalVar var, long m) {
278 mainJNI.Assignment_setDurationMin(swigCPtr, this, IntervalVar.getCPtr(var), var, m);
279 }
280
281 public void setDurationMax(IntervalVar var, long m) {
282 mainJNI.Assignment_setDurationMax(swigCPtr, this, IntervalVar.getCPtr(var), var, m);
283 }
284
285 public void setDurationRange(IntervalVar var, long mi, long ma) {
286 mainJNI.Assignment_setDurationRange(swigCPtr, this, IntervalVar.getCPtr(var), var, mi, ma);
287 }
288
289 public void setDurationValue(IntervalVar var, long value) {
290 mainJNI.Assignment_setDurationValue(swigCPtr, this, IntervalVar.getCPtr(var), var, value);
291 }
292
293 public void setEndMin(IntervalVar var, long m) {
294 mainJNI.Assignment_setEndMin(swigCPtr, this, IntervalVar.getCPtr(var), var, m);
295 }
296
297 public void setEndMax(IntervalVar var, long m) {
298 mainJNI.Assignment_setEndMax(swigCPtr, this, IntervalVar.getCPtr(var), var, m);
299 }
300
301 public void setEndRange(IntervalVar var, long mi, long ma) {
302 mainJNI.Assignment_setEndRange(swigCPtr, this, IntervalVar.getCPtr(var), var, mi, ma);
303 }
304
305 public void setEndValue(IntervalVar var, long value) {
306 mainJNI.Assignment_setEndValue(swigCPtr, this, IntervalVar.getCPtr(var), var, value);
307 }
308
309 public void setPerformedMin(IntervalVar var, long m) {
310 mainJNI.Assignment_setPerformedMin(swigCPtr, this, IntervalVar.getCPtr(var), var, m);
311 }
312
313 public void setPerformedMax(IntervalVar var, long m) {
314 mainJNI.Assignment_setPerformedMax(swigCPtr, this, IntervalVar.getCPtr(var), var, m);
315 }
316
317 public void setPerformedRange(IntervalVar var, long mi, long ma) {
318 mainJNI.Assignment_setPerformedRange(swigCPtr, this, IntervalVar.getCPtr(var), var, mi, ma);
319 }
320
321 public void setPerformedValue(IntervalVar var, long value) {
322 mainJNI.Assignment_setPerformedValue(swigCPtr, this, IntervalVar.getCPtr(var), var, value);
323 }
324
326 long cPtr = mainJNI.Assignment_add__SWIG_4(swigCPtr, this, SequenceVar.getCPtr(var), var);
327 return (cPtr == 0) ? null : new SequenceVarElement(cPtr, false);
328 }
329
330 public void add(SequenceVar[] vars) {
331 mainJNI.Assignment_add__SWIG_5(swigCPtr, this, vars);
332 }
333
338 long cPtr = mainJNI.Assignment_fastAdd__SWIG_2(swigCPtr, this, SequenceVar.getCPtr(var), var);
339 return (cPtr == 0) ? null : new SequenceVarElement(cPtr, false);
340 }
341
342 public int[] forwardSequence(SequenceVar var) {
343 return mainJNI.Assignment_forwardSequence(swigCPtr, this, SequenceVar.getCPtr(var), var);
344}
345
346 public int[] backwardSequence(SequenceVar var) {
347 return mainJNI.Assignment_backwardSequence(swigCPtr, this, SequenceVar.getCPtr(var), var);
348}
349
350 public int[] unperformed(SequenceVar var) {
351 return mainJNI.Assignment_unperformed(swigCPtr, this, SequenceVar.getCPtr(var), var);
352}
353
354 public void setSequence(SequenceVar var, int[] forward_sequence, int[] backward_sequence, int[] unperformed) {
355 mainJNI.Assignment_setSequence(swigCPtr, this, SequenceVar.getCPtr(var), var, forward_sequence, backward_sequence, unperformed);
356 }
357
358 public void setForwardSequence(SequenceVar var, int[] forward_sequence) {
359 mainJNI.Assignment_setForwardSequence(swigCPtr, this, SequenceVar.getCPtr(var), var, forward_sequence);
360 }
361
362 public void setBackwardSequence(SequenceVar var, int[] backward_sequence) {
363 mainJNI.Assignment_setBackwardSequence(swigCPtr, this, SequenceVar.getCPtr(var), var, backward_sequence);
364 }
365
366 public void setUnperformed(SequenceVar var, int[] unperformed) {
367 mainJNI.Assignment_setUnperformed(swigCPtr, this, SequenceVar.getCPtr(var), var, unperformed);
368 }
369
370 public void activate(IntVar var) {
371 mainJNI.Assignment_activate__SWIG_0(swigCPtr, this, IntVar.getCPtr(var), var);
372 }
373
374 public void deactivate(IntVar var) {
375 mainJNI.Assignment_deactivate__SWIG_0(swigCPtr, this, IntVar.getCPtr(var), var);
376 }
377
378 public boolean activated(IntVar var) {
379 return mainJNI.Assignment_activated__SWIG_0(swigCPtr, this, IntVar.getCPtr(var), var);
380 }
381
382 public void activate(IntervalVar var) {
383 mainJNI.Assignment_activate__SWIG_1(swigCPtr, this, IntervalVar.getCPtr(var), var);
384 }
385
386 public void deactivate(IntervalVar var) {
387 mainJNI.Assignment_deactivate__SWIG_1(swigCPtr, this, IntervalVar.getCPtr(var), var);
388 }
389
390 public boolean activated(IntervalVar var) {
391 return mainJNI.Assignment_activated__SWIG_1(swigCPtr, this, IntervalVar.getCPtr(var), var);
392 }
393
394 public void activate(SequenceVar var) {
395 mainJNI.Assignment_activate__SWIG_2(swigCPtr, this, SequenceVar.getCPtr(var), var);
396 }
397
398 public void deactivate(SequenceVar var) {
399 mainJNI.Assignment_deactivate__SWIG_2(swigCPtr, this, SequenceVar.getCPtr(var), var);
400 }
401
402 public boolean activated(SequenceVar var) {
403 return mainJNI.Assignment_activated__SWIG_2(swigCPtr, this, SequenceVar.getCPtr(var), var);
404 }
405
406 public void activateObjective() {
407 mainJNI.Assignment_activateObjective(swigCPtr, this);
408 }
409
410 public void deactivateObjective() {
411 mainJNI.Assignment_deactivateObjective(swigCPtr, this);
412 }
413
414 public boolean activatedObjective() {
415 return mainJNI.Assignment_activatedObjective(swigCPtr, this);
416 }
417
418 public String toString() {
419 return mainJNI.Assignment_toString(swigCPtr, this);
420 }
421
422 public boolean AreAllElementsBound() {
423 return mainJNI.Assignment_AreAllElementsBound(swigCPtr, this);
424 }
425
426 public boolean contains(IntVar var) {
427 return mainJNI.Assignment_contains__SWIG_0(swigCPtr, this, IntVar.getCPtr(var), var);
428 }
429
430 public boolean contains(IntervalVar var) {
431 return mainJNI.Assignment_contains__SWIG_1(swigCPtr, this, IntervalVar.getCPtr(var), var);
432 }
433
434 public boolean contains(SequenceVar var) {
435 return mainJNI.Assignment_contains__SWIG_2(swigCPtr, this, SequenceVar.getCPtr(var), var);
436 }
437
441 public void copyIntersection(Assignment assignment) {
442 mainJNI.Assignment_copyIntersection(swigCPtr, this, Assignment.getCPtr(assignment), assignment);
443 }
444
449 public void copy(Assignment assignment) {
450 mainJNI.Assignment_copy(swigCPtr, this, Assignment.getCPtr(assignment), assignment);
451 }
452
454 return new AssignmentIntContainer(mainJNI.Assignment_intVarContainer(swigCPtr, this), false);
455 }
456
458 long cPtr = mainJNI.Assignment_mutableIntVarContainer(swigCPtr, this);
459 return (cPtr == 0) ? null : new AssignmentIntContainer(cPtr, false);
460 }
461
463 return new AssignmentIntervalContainer(mainJNI.Assignment_intervalVarContainer(swigCPtr, this), false);
464 }
465
467 long cPtr = mainJNI.Assignment_mutableIntervalVarContainer(swigCPtr, this);
468 return (cPtr == 0) ? null : new AssignmentIntervalContainer(cPtr, false);
469 }
470
472 return new AssignmentSequenceContainer(mainJNI.Assignment_sequenceVarContainer(swigCPtr, this), false);
473 }
474
476 long cPtr = mainJNI.Assignment_mutableSequenceVarContainer(swigCPtr, this);
477 return (cPtr == 0) ? null : new AssignmentSequenceContainer(cPtr, false);
478 }
479
480}
An Assignment is a variable -> domains mapping, used to report solutions to the user.
Definition: Assignment.java:15
void setDurationMin(IntervalVar var, long m)
void setPerformedRange(IntervalVar var, long mi, long ma)
SequenceVarElement add(SequenceVar var)
void setPerformedValue(IntervalVar var, long value)
IntervalVarElement fastAdd(IntervalVar var)
Adds without checking if variable has been previously added.
void setPerformedMin(IntervalVar var, long m)
IntervalVarElement add(IntervalVar var)
void setRange(IntVar var, long l, long u)
void setStartRange(IntervalVar var, long mi, long ma)
AssignmentIntContainer mutableIntVarContainer()
void setEndValue(IntervalVar var, long value)
void copy(Assignment assignment)
Copies 'assignment' to the current assignment, clearing its previous content.
SequenceVarElement fastAdd(SequenceVar var)
Adds without checking if the variable had been previously added.
void setForwardSequence(SequenceVar var, int[] forward_sequence)
Assignment(long cPtr, boolean cMemoryOwn)
Definition: Assignment.java:18
void setDurationMax(IntervalVar var, long m)
void setStartValue(IntervalVar var, long value)
void setSequence(SequenceVar var, int[] forward_sequence, int[] backward_sequence, int[] unperformed)
void setPerformedMax(IntervalVar var, long m)
void setDurationRange(IntervalVar var, long mi, long ma)
void setEndRange(IntervalVar var, long mi, long ma)
void setEndMax(IntervalVar var, long m)
AssignmentIntervalContainer intervalVarContainer()
void setStartMin(IntervalVar var, long m)
void setDurationValue(IntervalVar var, long value)
AssignmentSequenceContainer mutableSequenceVarContainer()
void copyIntersection(Assignment assignment)
Copies the intersection of the two assignments to the current assignment.
void setEndMin(IntervalVar var, long m)
IntVarElement fastAdd(IntVar var)
Adds without checking if variable has been previously added.
void setUnperformed(SequenceVar var, int[] unperformed)
AssignmentSequenceContainer sequenceVarContainer()
AssignmentIntervalContainer mutableIntervalVarContainer()
boolean save(String filename)
Saves the assignment to a file.
Definition: Assignment.java:94
void setStartMax(IntervalVar var, long m)
boolean load(String filename)
Loads an assignment from a file; does not add variables to the assignment (only the variables contai...
Definition: Assignment.java:87
void setBackwardSequence(SequenceVar var, int[] backward_sequence)
NOLINT The PropagationBaseObject is a subclass of BaseObject that is also friend to the Solver clas...
The SequenceVarElement stores a partial representation of ranked interval variables in the underlyin...
A sequence variable is a variable whose domain is a set of possible orderings of the interval variab...
Solver Class A solver represents the main computation engine.
Definition: Solver.java:76