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::Literal >	fixed_literals
BopSolution	solution
int64_t	lower_bound
glop::DenseRow	lp_values
std::vector< sat::BinaryClause >	binary_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:

• bop_base.h