OR-Tools  8.2
ModelRandomGenerator

Detailed Description

Definition at line 39 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 45 of file sat/util.h.

Member Function Documentation

◆ LogSalt()

void LogSalt ( ) const
inline

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


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