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.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 SymmetryBreaker extends DecisionVisitor {
15  private transient long swigCPtr;
16 
17  protected SymmetryBreaker(long cPtr, boolean cMemoryOwn) {
18  super(mainJNI.SymmetryBreaker_SWIGUpcast(cPtr), cMemoryOwn);
19  swigCPtr = cPtr;
20  }
21 
22  protected static long getCPtr(SymmetryBreaker 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_SymmetryBreaker(swigCPtr);
36  }
37  swigCPtr = 0;
38  }
39  super.delete();
40  }
41 
42  protected void swigDirectorDisconnect() {
43  swigCMemOwn = false;
44  delete();
45  }
46 
47  public void swigReleaseOwnership() {
48  swigCMemOwn = false;
49  mainJNI.SymmetryBreaker_change_ownership(this, swigCPtr, false);
50  }
51 
52  public void swigTakeOwnership() {
53  swigCMemOwn = true;
54  mainJNI.SymmetryBreaker_change_ownership(this, swigCPtr, true);
55  }
56 
57  public SymmetryBreaker() {
58  this(mainJNI.new_SymmetryBreaker(), true);
59  mainJNI.SymmetryBreaker_director_connect(this, swigCPtr, true, true);
60  }
61 
62  public void addIntegerVariableEqualValueClause(IntVar var, long value) {
63  mainJNI.SymmetryBreaker_addIntegerVariableEqualValueClause(swigCPtr, this, IntVar.getCPtr(var), var, value);
64  }
65 
66  public void addIntegerVariableGreaterOrEqualValueClause(IntVar var, long value) {
67  mainJNI.SymmetryBreaker_addIntegerVariableGreaterOrEqualValueClause(swigCPtr, this, IntVar.getCPtr(var), var, value);
68  }
69 
70  public void addIntegerVariableLessOrEqualValueClause(IntVar var, long value) {
71  mainJNI.SymmetryBreaker_addIntegerVariableLessOrEqualValueClause(swigCPtr, this, IntVar.getCPtr(var), var, value);
72  }
73 
74 }
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 r...
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)