Java Reference

Java Reference

SymmetryBreaker.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 
9 package com.google.ortools.constraintsolver;
10 
16 public class SymmetryBreaker extends DecisionVisitor {
17  private transient long swigCPtr;
18 
19  protected SymmetryBreaker(long cPtr, boolean cMemoryOwn) {
20  super(mainJNI.SymmetryBreaker_SWIGUpcast(cPtr), cMemoryOwn);
21  swigCPtr = cPtr;
22  }
23 
24  protected static long getCPtr(SymmetryBreaker obj) {
25  return (obj == null) ? 0 : obj.swigCPtr;
26  }
27 
28  @SuppressWarnings("deprecation")
29  protected void finalize() {
30  delete();
31  }
32 
33  public synchronized void delete() {
34  if (swigCPtr != 0) {
35  if (swigCMemOwn) {
36  swigCMemOwn = false;
37  mainJNI.delete_SymmetryBreaker(swigCPtr);
38  }
39  swigCPtr = 0;
40  }
41  super.delete();
42  }
43 
44  protected void swigDirectorDisconnect() {
45  swigCMemOwn = false;
46  delete();
47  }
48 
49  public void swigReleaseOwnership() {
50  swigCMemOwn = false;
51  mainJNI.SymmetryBreaker_change_ownership(this, swigCPtr, false);
52  }
53 
54  public void swigTakeOwnership() {
55  swigCMemOwn = true;
56  mainJNI.SymmetryBreaker_change_ownership(this, swigCPtr, true);
57  }
58 
59  public SymmetryBreaker() {
60  this(mainJNI.new_SymmetryBreaker(), true);
61  mainJNI.SymmetryBreaker_director_connect(this, swigCPtr, true, true);
62  }
63 
64  public void addIntegerVariableEqualValueClause(IntVar var, long value) {
65  mainJNI.SymmetryBreaker_addIntegerVariableEqualValueClause(swigCPtr, this, IntVar.getCPtr(var), var, value);
66  }
67 
68  public void addIntegerVariableGreaterOrEqualValueClause(IntVar var, long value) {
69  mainJNI.SymmetryBreaker_addIntegerVariableGreaterOrEqualValueClause(swigCPtr, this, IntVar.getCPtr(var), var, value);
70  }
71 
72  public void addIntegerVariableLessOrEqualValueClause(IntVar var, long value) {
73  mainJNI.SymmetryBreaker_addIntegerVariableLessOrEqualValueClause(swigCPtr, this, IntVar.getCPtr(var), var, value);
74  }
75 
76 }
SymmetryBreaker()
The class IntVar is a subset of IntExpr.
A DecisionVisitor is used to inspect a decision.
void swigReleaseOwnership()
void swigDirectorDisconnect()
A symmetry breaker is an object that will visit a decision and create the 'symmetrical' decision in ...
void addIntegerVariableGreaterOrEqualValueClause(IntVar var, long value)
void addIntegerVariableLessOrEqualValueClause(IntVar var, long value)
void swigTakeOwnership()
SymmetryBreaker(long cPtr, boolean cMemoryOwn)
void addIntegerVariableEqualValueClause(IntVar var, long value)