operations_research::sat::PropagationStatistics Struct Reference

Simple class to display statistics at the end if –v=1. More...

Detailed Description

Simple class to display statistics at the end if –v=1.

Definition at line 130 of file disjunctive.h.

#include <disjunctive.h>

Public Member Functions
	PropagationStatistics (std::string _name, Model *model=nullptr)
	~PropagationStatistics ()
void	OnPropagate ()
void	EndWithoutConflicts ()

Public Attributes
const std::string	name
SharedStatistics *	shared_stats
int64_t	saved_num_propag
int64_t	num_calls = 0
int64_t	num_calls_with_propagation = 0
int64_t	num_conflicts = 0
int64_t	num_propagations = 0

Constructor & Destructor Documentation

PropagationStatistics()

operations_research::sat::PropagationStatistics::PropagationStatistics ( std::string _name, Model * model = nullptr )

inlineexplicit

Definition at line 131 of file disjunctive.h.

~PropagationStatistics()

operations_research::sat::PropagationStatistics::~PropagationStatistics ( )

inline

Definition at line 137 of file disjunctive.h.

Member Function Documentation

EndWithoutConflicts()

void operations_research::sat::PropagationStatistics::EndWithoutConflicts ( )

inline

Definition at line 156 of file disjunctive.h.

OnPropagate()

void operations_research::sat::PropagationStatistics::OnPropagate ( )

inline

Definition at line 151 of file disjunctive.h.

Member Data Documentation

name

const std::string operations_research::sat::PropagationStatistics::name

Definition at line 162 of file disjunctive.h.

num_calls

int64_t operations_research::sat::PropagationStatistics::num_calls = 0

Definition at line 166 of file disjunctive.h.

num_calls_with_propagation

int64_t operations_research::sat::PropagationStatistics::num_calls_with_propagation = 0

Definition at line 167 of file disjunctive.h.

num_conflicts

int64_t operations_research::sat::PropagationStatistics::num_conflicts = 0

Definition at line 168 of file disjunctive.h.

num_propagations

int64_t operations_research::sat::PropagationStatistics::num_propagations = 0

Definition at line 169 of file disjunctive.h.

saved_num_propag

int64_t operations_research::sat::PropagationStatistics::saved_num_propag

Definition at line 164 of file disjunctive.h.

shared_stats

SharedStatistics* operations_research::sat::PropagationStatistics::shared_stats

Definition at line 163 of file disjunctive.h.

---

The documentation for this struct was generated from the following file:

• ortools/sat/disjunctive.h