![]() |
OR-Tools
8.2
|
Definition at line 114 of file bop_base.h.
Public Member Functions | |
ProblemState (const sat::LinearBooleanProblem &problem) | |
void | SetParameters (const BopParameters ¶meters) |
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 |
|
explicit |
Definition at line 67 of file bop_base.cc.
|
inline |
Definition at line 130 of file bop_base.h.
|
inline |
Definition at line 185 of file bop_base.h.
LearnedInfo GetLearnedInfo | ( | ) | const |
Definition at line 215 of file bop_base.cc.
|
inline |
Definition at line 123 of file bop_base.h.
|
inline |
Definition at line 213 of file bop_base.h.
|
inline |
Definition at line 182 of file bop_base.h.
|
inline |
Definition at line 176 of file bop_base.h.
|
inline |
Definition at line 171 of file bop_base.h.
|
inline |
Definition at line 166 of file bop_base.h.
|
inline |
Definition at line 175 of file bop_base.h.
|
inline |
Definition at line 209 of file bop_base.h.
|
inline |
Definition at line 191 of file bop_base.h.
void MarkAsInfeasible | ( | ) |
Definition at line 237 of file bop_base.cc.
void MarkAsOptimal | ( | ) |
Definition at line 231 of file bop_base.cc.
bool MergeLearnedInfo | ( | const LearnedInfo & | learned_info, |
BopOptimizerBase::Status | optimization_status | ||
) |
Definition at line 92 of file bop_base.cc.
const std::vector< sat::BinaryClause > & NewlyAddedBinaryClauses | ( | ) | const |
Definition at line 249 of file bop_base.cc.
|
inline |
Definition at line 201 of file bop_base.h.
|
inline |
Definition at line 127 of file bop_base.h.
|
inline |
Definition at line 119 of file bop_base.h.
|
inline |
Definition at line 196 of file bop_base.h.
void SynchronizationDone | ( | ) |
Definition at line 254 of file bop_base.cc.
|
inline |
Definition at line 156 of file bop_base.h.
|
inline |
Definition at line 210 of file bop_base.h.
|
static |
Definition at line 155 of file bop_base.h.