Reference
C++
Python
DotNET
Java Documentation
Java Reference
RegularLimit.java
Go to the documentation of this file.
42 public RegularLimit(Solver s, long time, long branches, long failures, long solutions, boolean smart_time_check, boolean cumulative) {
43 this(mainJNI.new_RegularLimit(Solver.getCPtr(s), s, time, branches, failures, solutions, smart_time_check, cumulative), true);
109 return new SWIGTYPE_p_absl__Time(mainJNI.RegularLimit_AbsoluteSolverDeadline(swigCPtr, this), true);
void UpdateLimits(long time, long branches, long failures, long solutions)
Definition: RegularLimit.java:72
Solver Class A solver represents the main computation engine.
Definition: Solver.java:57
SearchLimit(long cPtr, boolean cMemoryOwn)
Definition: SearchLimit.java:17
void exitSearch()
Definition: RegularLimit.java:68
void accept(ModelVisitor visitor)
Definition: RegularLimit.java:112
RegularLimit(Solver s, long time, long branches, long failures, long solutions, boolean smart_time_check, boolean cumulative)
Definition: RegularLimit.java:42
Base class of all search limits.
Definition: SearchLimit.java:14
SWIGTYPE_p_absl__Time AbsoluteSolverDeadline()
Definition: RegularLimit.java:108
SearchLimit makeClone()
Definition: RegularLimit.java:50
long branches()
Definition: RegularLimit.java:84
boolean IsUncheckedSolutionLimitReached()
Definition: RegularLimit.java:96
String toString()
Definition: RegularLimit.java:104
long solutions()
Definition: RegularLimit.java:92
int progressPercent()
Definition: RegularLimit.java:100
boolean check()
Definition: RegularLimit.java:60
RegularLimit(long cPtr, boolean cMemoryOwn)
Definition: RegularLimit.java:17
SWIGTYPE_p_absl__Duration duration_limit()
Definition: RegularLimit.java:76
RegularLimit MakeIdenticalClone()
Definition: RegularLimit.java:55
long failures()
Definition: RegularLimit.java:88
void copy(SearchLimit limit)
Definition: RegularLimit.java:46
long wall_time()
Definition: RegularLimit.java:80
Usual limit based on wall_time, number of explored branches and number of failures in the search tree...
Definition: RegularLimit.java:14