C++ Reference: class RegularLimit

This documentation is automatically generated.

Usual limit based on wall_time, number of explored branches and number of failures in the search tree
Method
AbsoluteSolverDeadline

Return type: absl::Time

Accept

Return type: void

Arguments: ModelVisitor* const visitor

branches

Return type: int64

Check

Return type: bool

Copy

Return type: void

Arguments: const SearchLimit* const limit

DebugString

Return type: std::string

duration_limit

Return type: absl::Duration

ExitSearch

Return type: void

failures

Return type: int64

Init

Return type: void

IsUncheckedSolutionLimitReached

Return type: bool

MakeClone

Return type: SearchLimit*

MakeIdenticalClone

Return type: RegularLimit*

ProgressPercent

Return type: int

RegularLimit

Arguments: Solver* const s, int64 time, int64 branches, int64 failures, int64 solutions, bool smart_time_check, bool cumulative

~RegularLimit

solutions

Return type: int64

UpdateLimits

Return type: void

Arguments: int64 time, int64 branches, int64 failures, int64 solutions

wall_time

Return type: int64