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

Detailed Description

Definition at line 117 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 69 of file bop_base.cc.

Member Function Documentation

◆ assignment_preference()

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

Definition at line 133 of file bop_base.h.

◆ fixed_values()

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

Definition at line 188 of file bop_base.h.

◆ GetLearnedInfo()

LearnedInfo GetLearnedInfo ( ) const

Definition at line 217 of file bop_base.cc.

◆ GetParameters()

const BopParameters& GetParameters ( ) const
inline

Definition at line 126 of file bop_base.h.

◆ GetScaledLowerBound()

double GetScaledLowerBound ( ) const
inline

Definition at line 216 of file bop_base.h.

◆ GetVariableFixedValue()

bool GetVariableFixedValue ( VariableIndex  var) const
inline

Definition at line 185 of file bop_base.h.

◆ is_fixed()

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

Definition at line 179 of file bop_base.h.

◆ IsInfeasible()

bool IsInfeasible ( ) const
inline

Definition at line 174 of file bop_base.h.

◆ IsOptimal()

bool IsOptimal ( ) const
inline

Definition at line 169 of file bop_base.h.

◆ IsVariableFixed()

bool IsVariableFixed ( VariableIndex  var) const
inline

Definition at line 178 of file bop_base.h.

◆ lower_bound()

int64_t lower_bound ( ) const
inline

Definition at line 212 of file bop_base.h.

◆ lp_values()

const glop::DenseRow& lp_values ( ) const
inline

Definition at line 194 of file bop_base.h.

◆ MarkAsInfeasible()

void MarkAsInfeasible ( )

Definition at line 239 of file bop_base.cc.

◆ MarkAsOptimal()

void MarkAsOptimal ( )

Definition at line 233 of file bop_base.cc.

◆ MergeLearnedInfo()

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

Definition at line 94 of file bop_base.cc.

◆ NewlyAddedBinaryClauses()

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

Definition at line 251 of file bop_base.cc.

◆ original_problem()

const sat::LinearBooleanProblem& original_problem ( ) const
inline

Definition at line 204 of file bop_base.h.

◆ set_assignment_preference()

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

Definition at line 130 of file bop_base.h.

◆ SetParameters()

void SetParameters ( const BopParameters &  parameters)
inline

Definition at line 122 of file bop_base.h.

◆ solution()

const BopSolution& solution ( ) const
inline

Definition at line 199 of file bop_base.h.

◆ SynchronizationDone()

void SynchronizationDone ( )

Definition at line 256 of file bop_base.cc.

◆ update_stamp()

int64_t update_stamp ( ) const
inline

Definition at line 159 of file bop_base.h.

◆ upper_bound()

int64_t upper_bound ( ) const
inline

Definition at line 213 of file bop_base.h.

Member Data Documentation

◆ kInitialStampValue

const int64_t kInitialStampValue
static

Definition at line 158 of file bop_base.h.

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