static long |
SymmetryBreaker.getCPtr(SymmetryBreaker obj) |
SearchMonitor |
Solver.makeSymmetryManager(SymmetryBreaker v1) |
SearchMonitor |
Solver.makeSymmetryManager(SymmetryBreaker[] visitors)
Symmetry Breaking.
|
SearchMonitor |
Solver.makeSymmetryManager(SymmetryBreaker v1,
SymmetryBreaker v2) |
SearchMonitor |
Solver.makeSymmetryManager(SymmetryBreaker v1,
SymmetryBreaker v2,
SymmetryBreaker v3) |
SearchMonitor |
Solver.makeSymmetryManager(SymmetryBreaker v1,
SymmetryBreaker v2,
SymmetryBreaker v3,
SymmetryBreaker v4) |
static long |
mainJNI.Solver_makeSymmetryManager__SWIG_0(long jarg1,
Solver jarg1_,
SymmetryBreaker[] jarg2) |
static long |
mainJNI.Solver_makeSymmetryManager__SWIG_1(long jarg1,
Solver jarg1_,
long jarg2,
SymmetryBreaker jarg2_) |
static long |
mainJNI.Solver_makeSymmetryManager__SWIG_2(long jarg1,
Solver jarg1_,
long jarg2,
SymmetryBreaker jarg2_,
long jarg3,
SymmetryBreaker jarg3_) |
static long |
mainJNI.Solver_makeSymmetryManager__SWIG_3(long jarg1,
Solver jarg1_,
long jarg2,
SymmetryBreaker jarg2_,
long jarg3,
SymmetryBreaker jarg3_,
long jarg4,
SymmetryBreaker jarg4_) |
static long |
mainJNI.Solver_makeSymmetryManager__SWIG_4(long jarg1,
Solver jarg1_,
long jarg2,
SymmetryBreaker jarg2_,
long jarg3,
SymmetryBreaker jarg3_,
long jarg4,
SymmetryBreaker jarg4_,
long jarg5,
SymmetryBreaker jarg5_) |
static java.lang.String |
mainJNI.SwigDirector_SymmetryBreaker_toString(SymmetryBreaker jself) |
static void |
mainJNI.SwigDirector_SymmetryBreaker_visitRankFirstInterval(SymmetryBreaker jself,
long sequence,
int index) |
static void |
mainJNI.SwigDirector_SymmetryBreaker_visitRankLastInterval(SymmetryBreaker jself,
long sequence,
int index) |
static void |
mainJNI.SwigDirector_SymmetryBreaker_visitScheduleOrExpedite(SymmetryBreaker jself,
long var,
long est) |
static void |
mainJNI.SwigDirector_SymmetryBreaker_visitScheduleOrPostpone(SymmetryBreaker jself,
long var,
long est) |
static void |
mainJNI.SwigDirector_SymmetryBreaker_visitSetVariableValue(SymmetryBreaker jself,
long var,
long value) |
static void |
mainJNI.SwigDirector_SymmetryBreaker_visitSplitVariableDomain(SymmetryBreaker jself,
long var,
long value,
boolean start_with_lower_half) |
static void |
mainJNI.SwigDirector_SymmetryBreaker_visitUnknownDecision(SymmetryBreaker jself) |
static long |
SymmetryBreaker.swigRelease(SymmetryBreaker obj) |
static void |
mainJNI.SymmetryBreaker_addIntegerVariableEqualValueClause(long jarg1,
SymmetryBreaker jarg1_,
long jarg2,
IntVar jarg2_,
long jarg3) |
static void |
mainJNI.SymmetryBreaker_addIntegerVariableGreaterOrEqualValueClause(long jarg1,
SymmetryBreaker jarg1_,
long jarg2,
IntVar jarg2_,
long jarg3) |
static void |
mainJNI.SymmetryBreaker_addIntegerVariableLessOrEqualValueClause(long jarg1,
SymmetryBreaker jarg1_,
long jarg2,
IntVar jarg2_,
long jarg3) |
static void |
mainJNI.SymmetryBreaker_change_ownership(SymmetryBreaker obj,
long cptr,
boolean take_or_release) |
static void |
mainJNI.SymmetryBreaker_director_connect(SymmetryBreaker obj,
long cptr,
boolean mem_own,
boolean weak_global) |