bop_util.h File Reference

#include <vector>
#include "ortools/bop/bop_base.h"
#include "ortools/bop/bop_solution.h"
#include "ortools/sat/sat_base.h"
#include "ortools/sat/sat_solver.h"

Go to the source code of this file.

Classes
class	operations_research::bop::AdaptiveParameterValue
class	operations_research::bop::LubyAdaptiveParameterValue

Namespaces
namespace	operations_research
	OR-Tools root namespace.
namespace	operations_research::bop

Functions
BopOptimizerBase::Status	operations_research::bop::LoadStateProblemToSatSolver (const ProblemState &problem_state, sat::SatSolver *sat_solver)
void	operations_research::bop::ExtractLearnedInfoFromSatSolver (sat::SatSolver *solver, LearnedInfo *info)
void	operations_research::bop::SatAssignmentToBopSolution (const sat::VariablesAssignment &assignment, BopSolution *solution)