OR-Tools  8.2
LearnedInfo

Detailed Description

Definition at line 248 of file bop_base.h.

Public Member Functions

 LearnedInfo (const sat::LinearBooleanProblem &problem)
 
void Clear ()
 

Public Attributes

std::vector< sat::Literalfixed_literals
 
BopSolution solution
 
int64_t lower_bound
 
glop::DenseRow lp_values
 
std::vector< sat::BinaryClausebinary_clauses
 

Constructor & Destructor Documentation

◆ LearnedInfo()

LearnedInfo ( const sat::LinearBooleanProblem &  problem)
inlineexplicit

Definition at line 249 of file bop_base.h.

Member Function Documentation

◆ Clear()

void Clear ( )
inline

Definition at line 258 of file bop_base.h.

Member Data Documentation

◆ binary_clauses

std::vector<sat::BinaryClause> binary_clauses

Definition at line 281 of file bop_base.h.

◆ fixed_literals

std::vector<sat::Literal> fixed_literals

Definition at line 266 of file bop_base.h.

◆ lower_bound

int64_t lower_bound

Definition at line 272 of file bop_base.h.

◆ lp_values

glop::DenseRow lp_values

Definition at line 278 of file bop_base.h.

◆ solution

BopSolution solution

Definition at line 269 of file bop_base.h.


The documentation for this struct was generated from the following file: