Simple class to display statistics at the end if –v=1.
More...
#include <disjunctive.h>
Simple class to display statistics at the end if –v=1.
Definition at line 124 of file disjunctive.h.
◆ PropagationStatistics()
operations_research::sat::PropagationStatistics::PropagationStatistics |
( |
std::string | _name, |
|
|
Model * | model = nullptr ) |
|
inlineexplicit |
◆ ~PropagationStatistics()
operations_research::sat::PropagationStatistics::~PropagationStatistics |
( |
| ) |
|
|
inline |
◆ EndWithoutConflicts()
void operations_research::sat::PropagationStatistics::EndWithoutConflicts |
( |
| ) |
|
|
inline |
◆ OnPropagate()
void operations_research::sat::PropagationStatistics::OnPropagate |
( |
| ) |
|
|
inline |
◆ name
const std::string operations_research::sat::PropagationStatistics::name |
◆ num_calls
int64_t operations_research::sat::PropagationStatistics::num_calls = 0 |
◆ num_calls_with_propagation
int64_t operations_research::sat::PropagationStatistics::num_calls_with_propagation = 0 |
◆ num_conflicts
int64_t operations_research::sat::PropagationStatistics::num_conflicts = 0 |
◆ num_propagations
int64_t operations_research::sat::PropagationStatistics::num_propagations = 0 |
◆ saved_num_propag
int64_t operations_research::sat::PropagationStatistics::saved_num_propag |
◆ shared_stats
The documentation for this struct was generated from the following file: