operations_research::sat::PropagationStatistics Member List

This is the complete list of members for operations_research::sat::PropagationStatistics, including all inherited members.

EndWithoutConflicts()	operations_research::sat::PropagationStatistics	inline
name	operations_research::sat::PropagationStatistics
num_calls	operations_research::sat::PropagationStatistics
num_calls_with_propagation	operations_research::sat::PropagationStatistics
num_conflicts	operations_research::sat::PropagationStatistics
num_propagations	operations_research::sat::PropagationStatistics
OnPropagate()	operations_research::sat::PropagationStatistics	inline
PropagationStatistics(std::string _name, Model *model=nullptr)	operations_research::sat::PropagationStatistics	inlineexplicit
saved_num_propag	operations_research::sat::PropagationStatistics
shared_stats	operations_research::sat::PropagationStatistics
~PropagationStatistics()	operations_research::sat::PropagationStatistics	inline