operations_research::sat::ModelRandomGenerator Class Reference

Detailed Description

Definition at line 453 of file util.h.

#include <util.h>

Inheritance diagram for operations_research::sat::ModelRandomGenerator:

Public Member Functions
	ModelRandomGenerator (const SatParameters &params)
	ModelRandomGenerator (const absl::BitGenRef &bit_gen_ref)
	ModelRandomGenerator (Model *model)
void	LogSalt () const

Constructor & Destructor Documentation

ModelRandomGenerator() [1/3]

operations_research::sat::ModelRandomGenerator::ModelRandomGenerator ( const SatParameters & params )

inlineexplicit

Definition at line 459 of file util.h.

ModelRandomGenerator() [2/3]

operations_research::sat::ModelRandomGenerator::ModelRandomGenerator ( const absl::BitGenRef & bit_gen_ref )

inlineexplicit

Definition at line 468 of file util.h.

ModelRandomGenerator() [3/3]

operations_research::sat::ModelRandomGenerator::ModelRandomGenerator ( Model * model )

inlineexplicit

Definition at line 473 of file util.h.

Member Function Documentation

LogSalt()

void operations_research::sat::ModelRandomGenerator::LogSalt ( ) const

inline

Definition at line 481 of file util.h.

---

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

• ortools/sat/util.h