Google OR-Tools v9.11
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::PropagationStatistics Struct Reference

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

#include <disjunctive.h>

Public Member Functions

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

Public Attributes

const std::string name
 
SharedStatisticsshared_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
 

Detailed Description

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

Definition at line 124 of file disjunctive.h.

Constructor & Destructor Documentation

◆ PropagationStatistics()

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

Definition at line 125 of file disjunctive.h.

◆ ~PropagationStatistics()

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

Definition at line 131 of file disjunctive.h.

Member Function Documentation

◆ EndWithoutConflicts()

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

Definition at line 150 of file disjunctive.h.

◆ OnPropagate()

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

Definition at line 145 of file disjunctive.h.

Member Data Documentation

◆ name

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

Definition at line 156 of file disjunctive.h.

◆ num_calls

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

Definition at line 160 of file disjunctive.h.

◆ num_calls_with_propagation

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

Definition at line 161 of file disjunctive.h.

◆ num_conflicts

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

Definition at line 162 of file disjunctive.h.

◆ num_propagations

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

Definition at line 163 of file disjunctive.h.

◆ saved_num_propag

int64_t operations_research::sat::PropagationStatistics::saved_num_propag

Definition at line 158 of file disjunctive.h.

◆ shared_stats

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

Definition at line 157 of file disjunctive.h.


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