operations_research::bop::LearnedInfo Struct Reference

Detailed Description

Definition at line 254 of file bop_base.h.

#include <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()

operations_research::bop::LearnedInfo::LearnedInfo ( const sat::LinearBooleanProblem & problem )

inlineexplicit

Definition at line 255 of file bop_base.h.

Member Function Documentation

Clear()

void operations_research::bop::LearnedInfo::Clear ( )

inline

Definition at line 264 of file bop_base.h.

Member Data Documentation

binary_clauses

std::vector<sat::BinaryClause> operations_research::bop::LearnedInfo::binary_clauses

Definition at line 287 of file bop_base.h.

fixed_literals

std::vector<sat::Literal> operations_research::bop::LearnedInfo::fixed_literals

Definition at line 272 of file bop_base.h.

lower_bound

int64_t operations_research::bop::LearnedInfo::lower_bound

Definition at line 278 of file bop_base.h.

lp_values

glop::DenseRow operations_research::bop::LearnedInfo::lp_values

Definition at line 284 of file bop_base.h.

solution

BopSolution operations_research::bop::LearnedInfo::solution

Definition at line 275 of file bop_base.h.

---

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

• ortools/bop/bop_base.h