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_t

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_t

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, absl::Duration time, int64_t branches, int64_t failures, int64_t solutions, bool smart_time_check, bool cumulative

~RegularLimit

solutions

Return type: int64_t

UpdateLimits

Return type: void

Arguments: absl::Duration time, int64_t branches, int64_t failures, int64_t solutions

wall_time

Return type: int64_t