ModelStatistics

Detailed Description

Definition at line 390 of file flatzinc/model.h.

Public Member Functions
	ModelStatistics (const Model &model)
int	NumVariableOccurrences (IntegerVariable *var)
void	BuildStatistics ()
void	PrintStatistics () const

Constructor & Destructor Documentation

ModelStatistics()

ModelStatistics ( const Model &  model )

inlineexplicit

Definition at line 392 of file flatzinc/model.h.

Member Function Documentation

BuildStatistics()

void BuildStatistics

(

)

Definition at line 933 of file model.cc.

NumVariableOccurrences()

int NumVariableOccurrences ( IntegerVariable *  var )

inline

Definition at line 393 of file flatzinc/model.h.

PrintStatistics()

void PrintStatistics

(

)

const

Definition at line 920 of file model.cc.

---

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

• flatzinc/model.h
• model.cc