OR-Tools  8.2
Public Member Functions | Static Public Attributes | List of all members
ProblemState

Detailed Description

Definition at line 114 of file bop_base.h.

Public Member Functions

 ProblemState (const sat::LinearBooleanProblem &problem)
 
void SetParameters (const BopParameters &parameters)
 
const BopParameters & GetParameters () const
 
void set_assignment_preference (const std::vector< bool > &a)
 
const std::vector< bool > assignment_preference () const
 
bool MergeLearnedInfo (const LearnedInfo &learned_info, BopOptimizerBase::Status optimization_status)
 
LearnedInfo GetLearnedInfo () const
 
int64_t update_stamp () const
 
void MarkAsOptimal ()
 
void MarkAsInfeasible ()
 
bool IsOptimal () const
 
bool IsInfeasible () const
 
bool IsVariableFixed (VariableIndex var) const
 
const absl::StrongVector< VariableIndex, bool > & is_fixed () const
 
bool GetVariableFixedValue (VariableIndex var) const
 
const absl::StrongVector< VariableIndex, bool > & fixed_values () const
 
const glop::DenseRow & lp_values () const
 
const BopSolution & solution () const
 
const sat::LinearBooleanProblem & original_problem () const
 
int64_t lower_bound () const
 
int64_t upper_bound () const
 
double GetScaledLowerBound () const
 
const std::vector< sat::BinaryClause > & NewlyAddedBinaryClauses () const
 
void SynchronizationDone ()
 

Static Public Attributes

static const int64_t kInitialStampValue
 

Constructor & Destructor Documentation

◆ ProblemState()

ProblemState ( const sat::LinearBooleanProblem &  problem)
explicit

Definition at line 67 of file bop_base.cc.

Member Function Documentation

◆ assignment_preference()

const std::vector< bool > assignment_preference ( ) const
inline

Definition at line 130 of file bop_base.h.

◆ fixed_values()

const absl::StrongVector< VariableIndex, bool > & fixed_values ( ) const
inline

Definition at line 185 of file bop_base.h.

◆ GetLearnedInfo()

LearnedInfo GetLearnedInfo ( ) const

Definition at line 215 of file bop_base.cc.

◆ GetParameters()

const BopParameters & GetParameters ( ) const
inline

Definition at line 123 of file bop_base.h.

◆ GetScaledLowerBound()

double GetScaledLowerBound ( ) const
inline

Definition at line 213 of file bop_base.h.

◆ GetVariableFixedValue()

bool GetVariableFixedValue ( VariableIndex  var) const
inline

Definition at line 182 of file bop_base.h.

◆ is_fixed()

const absl::StrongVector< VariableIndex, bool > & is_fixed ( ) const
inline

Definition at line 176 of file bop_base.h.

◆ IsInfeasible()

bool IsInfeasible ( ) const
inline

Definition at line 171 of file bop_base.h.

◆ IsOptimal()

bool IsOptimal ( ) const
inline

Definition at line 166 of file bop_base.h.

◆ IsVariableFixed()

bool IsVariableFixed ( VariableIndex  var) const
inline

Definition at line 175 of file bop_base.h.

◆ lower_bound()

int64_t lower_bound ( ) const
inline

Definition at line 209 of file bop_base.h.

◆ lp_values()

const glop::DenseRow & lp_values ( ) const
inline

Definition at line 191 of file bop_base.h.

◆ MarkAsInfeasible()

void MarkAsInfeasible ( )

Definition at line 237 of file bop_base.cc.

◆ MarkAsOptimal()

void MarkAsOptimal ( )

Definition at line 231 of file bop_base.cc.

◆ MergeLearnedInfo()

bool MergeLearnedInfo ( const LearnedInfo &  learned_info,
BopOptimizerBase::Status  optimization_status 
)

Definition at line 92 of file bop_base.cc.

◆ NewlyAddedBinaryClauses()

const std::vector< sat::BinaryClause > & NewlyAddedBinaryClauses ( ) const

Definition at line 249 of file bop_base.cc.

◆ original_problem()

const sat::LinearBooleanProblem & original_problem ( ) const
inline

Definition at line 201 of file bop_base.h.

◆ set_assignment_preference()

void set_assignment_preference ( const std::vector< bool > &  a)
inline

Definition at line 127 of file bop_base.h.

◆ SetParameters()

void SetParameters ( const BopParameters &  parameters)
inline

Definition at line 119 of file bop_base.h.

◆ solution()

const BopSolution & solution ( ) const
inline

Definition at line 196 of file bop_base.h.

◆ SynchronizationDone()

void SynchronizationDone ( )

Definition at line 254 of file bop_base.cc.

◆ update_stamp()

int64_t update_stamp ( ) const
inline

Definition at line 156 of file bop_base.h.

◆ upper_bound()

int64_t upper_bound ( ) const
inline

Definition at line 210 of file bop_base.h.

Member Data Documentation

◆ kInitialStampValue

const int64_t kInitialStampValue
static

Definition at line 155 of file bop_base.h.

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