ModelRandomGenerator

Detailed Description

Definition at line 130 of file sat/util.h.

Public Member Functions
	ModelRandomGenerator (Model *model)
void	LogSalt () const

Constructor & Destructor Documentation

ModelRandomGenerator()

ModelRandomGenerator ( Model *  model )

inlineexplicit

Definition at line 136 of file sat/util.h.

Member Function Documentation

LogSalt()

void LogSalt ( ) const

inline

Definition at line 151 of file sat/util.h.

---

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

• sat/util.h