Java Reference
Java Reference
RegularLimit.java
Go to the documentation of this file.
42 public RegularLimit(Solver s, SWIGTYPE_p_absl__Duration time, long branches, long failures, long solutions, boolean smart_time_check, boolean cumulative) {
long wall_time()
Definition: RegularLimit.java:76
RegularLimit MakeIdenticalClone()
Definition: RegularLimit.java:55
int progressPercent()
Returns a percentage representing the propress of the search before reaching limits.
Definition: RegularLimit.java:96
SearchLimit(long cPtr, boolean cMemoryOwn)
Definition: SearchLimit.java:17
boolean IsUncheckedSolutionLimitReached()
Returns true if the limit of solutions has been reached including unchecked solutions.
Definition: RegularLimit.java:92
String toString()
Definition: RegularLimit.java:100
Usual limit based on wall_time, number of explored branches and number of failures in the search tree...
Definition: RegularLimit.java:14
long failures()
Definition: RegularLimit.java:84
long branches()
Definition: RegularLimit.java:80
boolean check()
This method is called to check the status of the limit.
Definition: RegularLimit.java:60
RegularLimit(long cPtr, boolean cMemoryOwn)
Definition: RegularLimit.java:17
void init()
This method is called when the search limit is initialized.
Definition: RegularLimit.java:64
RegularLimit(Solver s, SWIGTYPE_p_absl__Duration time, long branches, long failures, long solutions, boolean smart_time_check, boolean cumulative)
Definition: RegularLimit.java:42
void UpdateLimits(long time, long branches, long failures, long solutions)
Definition: RegularLimit.java:72
long solutions()
Definition: RegularLimit.java:88
Solver Class A solver represents the main computation engine.
Definition: Solver.java:57
Base class of all search limits.
Definition: SearchLimit.java:14