![]() |
OR-Tools
8.2
|
Definition at line 248 of file bop_base.h.
Public Member Functions | |
LearnedInfo (const sat::LinearBooleanProblem &problem) | |
void | Clear () |
Public Attributes | |
std::vector< sat::Literal > | fixed_literals |
BopSolution | solution |
int64_t | lower_bound |
glop::DenseRow | lp_values |
std::vector< sat::BinaryClause > | binary_clauses |
|
inlineexplicit |
Definition at line 249 of file bop_base.h.
|
inline |
Definition at line 258 of file bop_base.h.
std::vector<sat::BinaryClause> binary_clauses |
Definition at line 281 of file bop_base.h.
std::vector<sat::Literal> fixed_literals |
Definition at line 266 of file bop_base.h.
int64_t lower_bound |
Definition at line 272 of file bop_base.h.
glop::DenseRow lp_values |
Definition at line 278 of file bop_base.h.
BopSolution solution |
Definition at line 269 of file bop_base.h.