ModelStatistics

Detailed Description

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

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

Constructor & Destructor Documentation

ModelStatistics()

ModelStatistics ( const Model &  model, SolverLogger *  logger  )

inlineexplicit

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

Member Function Documentation

BuildStatistics()

void BuildStatistics

(

)

Definition at line 1134 of file flatzinc/model.cc.

NumVariableOccurrences()

int NumVariableOccurrences ( Variable *  var )

inline

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

PrintStatistics()

void PrintStatistics

(

)

const

Definition at line 1119 of file flatzinc/model.cc.

---

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

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