operations_research::fz::ModelStatistics Class Reference

Detailed Description

Stand-alone statistics class on the model.

Todo

(user): Clean up API to pass a Model* in argument.

Definition at line 423 of file model.h.

#include <model.h>

Public Member Functions
	ModelStatistics (const Model &model, SolverLogger *logger)
int	NumVariableOccurrences (Variable *var)
void	BuildStatistics ()
void	PrintStatistics () const
	--— Model statistics --—

Constructor & Destructor Documentation

ModelStatistics()

operations_research::fz::ModelStatistics::ModelStatistics ( const Model & model, SolverLogger * logger )

inlineexplicit

Definition at line 425 of file model.h.

Member Function Documentation

BuildStatistics()

void operations_research::fz::ModelStatistics::BuildStatistics

(

)

Definition at line 1149 of file model.cc.

NumVariableOccurrences()

int operations_research::fz::ModelStatistics::NumVariableOccurrences ( Variable * var )

inline

Definition at line 427 of file model.h.

PrintStatistics()

void operations_research::fz::ModelStatistics::PrintStatistics

(

)

const

--— Model statistics --—

Definition at line 1134 of file model.cc.

---

The documentation for this class was generated from the following files:

• ortools/flatzinc/model.h
• ortools/flatzinc/model.cc