Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::bop::ProblemState Class Reference

Detailed Description

Definition at line 118 of file bop_base.h.

#include <bop_base.h>

Public Member Functions

 ProblemState (const sat::LinearBooleanProblem &problem)
 ProblemState (const ProblemState &)=delete
ProblemState & operator= (const ProblemState &)=delete
void SetParameters (const BopParameters &parameters)
const BopParameters & GetParameters () const
void set_assignment_preference (const std::vector< bool > &a)
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 util_intops::StrongVector< VariableIndex, bool > & is_fixed () const
bool GetVariableFixedValue (VariableIndex var) const
const util_intops::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() [1/2]

operations_research::bop::ProblemState::ProblemState ( const sat::LinearBooleanProblem & problem)
explicit

Definition at line 83 of file bop_base.cc.

◆ ProblemState() [2/2]

operations_research::bop::ProblemState::ProblemState ( const ProblemState & )
delete

Member Function Documentation

◆ assignment_preference()

std::vector< bool > operations_research::bop::ProblemState::assignment_preference ( ) const
inline

Definition at line 138 of file bop_base.h.

◆ fixed_values()

const util_intops::StrongVector< VariableIndex, bool > & operations_research::bop::ProblemState::fixed_values ( ) const
inline

Definition at line 193 of file bop_base.h.

◆ GetLearnedInfo()

LearnedInfo operations_research::bop::ProblemState::GetLearnedInfo ( ) const

Definition at line 231 of file bop_base.cc.

◆ GetParameters()

const BopParameters & operations_research::bop::ProblemState::GetParameters ( ) const
inline

Definition at line 131 of file bop_base.h.

◆ GetScaledLowerBound()

double operations_research::bop::ProblemState::GetScaledLowerBound ( ) const
inline

Definition at line 221 of file bop_base.h.

◆ GetVariableFixedValue()

bool operations_research::bop::ProblemState::GetVariableFixedValue ( VariableIndex var) const
inline

Definition at line 190 of file bop_base.h.

◆ is_fixed()

const util_intops::StrongVector< VariableIndex, bool > & operations_research::bop::ProblemState::is_fixed ( ) const
inline

Definition at line 184 of file bop_base.h.

◆ IsInfeasible()

bool operations_research::bop::ProblemState::IsInfeasible ( ) const
inline

Definition at line 179 of file bop_base.h.

◆ IsOptimal()

bool operations_research::bop::ProblemState::IsOptimal ( ) const
inline

Definition at line 174 of file bop_base.h.

◆ IsVariableFixed()

bool operations_research::bop::ProblemState::IsVariableFixed ( VariableIndex var) const
inline

Definition at line 183 of file bop_base.h.

◆ lower_bound()

int64_t operations_research::bop::ProblemState::lower_bound ( ) const
inline

Definition at line 217 of file bop_base.h.

◆ lp_values()

const glop::DenseRow & operations_research::bop::ProblemState::lp_values ( ) const
inline

Definition at line 199 of file bop_base.h.

◆ MarkAsInfeasible()

void operations_research::bop::ProblemState::MarkAsInfeasible ( )

Definition at line 253 of file bop_base.cc.

◆ MarkAsOptimal()

void operations_research::bop::ProblemState::MarkAsOptimal ( )

Definition at line 247 of file bop_base.cc.

◆ MergeLearnedInfo()

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

Definition at line 108 of file bop_base.cc.

◆ NewlyAddedBinaryClauses()

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

Definition at line 265 of file bop_base.cc.

◆ operator=()

ProblemState & operations_research::bop::ProblemState::operator= ( const ProblemState & )
delete

◆ original_problem()

const sat::LinearBooleanProblem & operations_research::bop::ProblemState::original_problem ( ) const
inline

Definition at line 209 of file bop_base.h.

◆ set_assignment_preference()

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

Definition at line 135 of file bop_base.h.

◆ SetParameters()

void operations_research::bop::ProblemState::SetParameters ( const BopParameters & parameters)
inline

Definition at line 127 of file bop_base.h.

◆ solution()

const BopSolution & operations_research::bop::ProblemState::solution ( ) const
inline

Definition at line 204 of file bop_base.h.

◆ SynchronizationDone()

void operations_research::bop::ProblemState::SynchronizationDone ( )

Definition at line 270 of file bop_base.cc.

◆ update_stamp()

int64_t operations_research::bop::ProblemState::update_stamp ( ) const
inline

Definition at line 164 of file bop_base.h.

◆ upper_bound()

int64_t operations_research::bop::ProblemState::upper_bound ( ) const
inline

Definition at line 218 of file bop_base.h.

Member Data Documentation

◆ kInitialStampValue

const int64_t operations_research::bop::ProblemState::kInitialStampValue
static

Definition at line 163 of file bop_base.h.

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