Java Reference
Java Reference
RegularLimit.java
Go to the documentation of this file.
39 public RegularLimit(Solver s, SWIGTYPE_p_absl__Duration time, long branches, long failures, long solutions, boolean smart_time_check, boolean cumulative) {
SearchLimit makeClone()
Definition: RegularLimit.java:47
void copy(SearchLimit limit)
Definition: RegularLimit.java:43
long wall_time()
Definition: RegularLimit.java:73
RegularLimit MakeIdenticalClone()
Definition: RegularLimit.java:52
int progressPercent()
Definition: RegularLimit.java:93
SearchLimit(long cPtr, boolean cMemoryOwn)
Definition: SearchLimit.java:14
void accept(ModelVisitor visitor)
Definition: RegularLimit.java:101
boolean IsUncheckedSolutionLimitReached()
Definition: RegularLimit.java:89
String toString()
Definition: RegularLimit.java:97
long failures()
Definition: RegularLimit.java:81
long branches()
Definition: RegularLimit.java:77
boolean check()
Definition: RegularLimit.java:57
void exitSearch()
Definition: RegularLimit.java:65
RegularLimit(long cPtr, boolean cMemoryOwn)
Definition: RegularLimit.java:14
RegularLimit(Solver s, SWIGTYPE_p_absl__Duration time, long branches, long failures, long solutions, boolean smart_time_check, boolean cumulative)
Definition: RegularLimit.java:39
void UpdateLimits(long time, long branches, long failures, long solutions)
Definition: RegularLimit.java:69
long solutions()
Definition: RegularLimit.java:85