operations_research::sat::SharedLsStates Class Reference

Detailed Description

Definition at line 350 of file feasibility_jump.h.

#include <feasibility_jump.h>

Public Member Functions
	SharedLsStates (absl::string_view name, const SatParameters &params, SharedStatTables *stat_tables)
	~SharedLsStates ()
void	CreateNewState ()
LsState *	GetNextState ()
void	Release (LsState *state)
void	ResetLubyCounter ()
void	ConfigureNextLubyRestart (LsState *state)
void	CollectStatistics (const LsState &state)

Constructor & Destructor Documentation

SharedLsStates()

operations_research::sat::SharedLsStates::SharedLsStates ( absl::string_view name, const SatParameters & params, SharedStatTables * stat_tables )

inline

Definition at line 354 of file feasibility_jump.h.

~SharedLsStates()

operations_research::sat::SharedLsStates::~SharedLsStates

(

)

Definition at line 105 of file feasibility_jump.cc.

Member Function Documentation

CollectStatistics()

void operations_research::sat::SharedLsStates::CollectStatistics ( const LsState & state )

inline

Definition at line 432 of file feasibility_jump.h.

ConfigureNextLubyRestart()

void operations_research::sat::SharedLsStates::ConfigureNextLubyRestart ( LsState * state )

inline

Definition at line 423 of file feasibility_jump.h.

CreateNewState()

void operations_research::sat::SharedLsStates::CreateNewState ( )

inline

Definition at line 364 of file feasibility_jump.h.

GetNextState()

LsState * operations_research::sat::SharedLsStates::GetNextState ( )

inline

Definition at line 377 of file feasibility_jump.h.

Release()

void operations_research::sat::SharedLsStates::Release ( LsState * state )

inline

Definition at line 402 of file feasibility_jump.h.

ResetLubyCounter()

void operations_research::sat::SharedLsStates::ResetLubyCounter ( )

inline

Definition at line 412 of file feasibility_jump.h.

---

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

• ortools/sat/feasibility_jump.h
• ortools/sat/feasibility_jump.cc