boolean_problem.h File Reference

Go to the source code of this file.

Namespaces
namespace	operations_research
	The vehicle routing library lets one model and solve generic vehicle routing problems ranging from the Traveling Salesman Problem to more complex problems such as the Capacitated Vehicle Routing Problem with Time Windows.
namespace	operations_research::sat

Functions
CpModelProto	BooleanProblemToCpModelproto (const LinearBooleanProblem &problem)
double	AddOffsetAndScaleObjectiveValue (const LinearBooleanProblem &problem, Coefficient v)
void	ChangeOptimizationDirection (LinearBooleanProblem *problem)
void	ExtractAssignment (const LinearBooleanProblem &problem, const SatSolver &solver, std::vector< bool > *assignment)
absl::Status	ValidateBooleanProblem (const LinearBooleanProblem &problem)
bool	LoadBooleanProblem (const LinearBooleanProblem &problem, SatSolver *solver)
bool	LoadAndConsumeBooleanProblem (LinearBooleanProblem *problem, SatSolver *solver)
void	UseObjectiveForSatAssignmentPreference (const LinearBooleanProblem &problem, SatSolver *solver)
bool	AddObjectiveUpperBound (const LinearBooleanProblem &problem, Coefficient upper_bound, SatSolver *solver)
bool	AddObjectiveConstraint (const LinearBooleanProblem &problem, bool use_lower_bound, Coefficient lower_bound, bool use_upper_bound, Coefficient upper_bound, SatSolver *solver)
Coefficient	ComputeObjectiveValue (const LinearBooleanProblem &problem, const std::vector< bool > &assignment)
bool	IsAssignmentValid (const LinearBooleanProblem &problem, const std::vector< bool > &assignment)
std::string	LinearBooleanProblemToCnfString (const LinearBooleanProblem &problem)
void	StoreAssignment (const VariablesAssignment &assignment, BooleanAssignment *output)
void	ExtractSubproblem (const LinearBooleanProblem &problem, const std::vector< int > &constraint_indices, LinearBooleanProblem *subproblem)
void	MakeAllLiteralsPositive (LinearBooleanProblem *problem)
void	FindLinearBooleanProblemSymmetries (const LinearBooleanProblem &problem, std::vector< std::unique_ptr< SparsePermutation > > *generators)
void	ApplyLiteralMappingToBooleanProblem (const absl::StrongVector< LiteralIndex, LiteralIndex > &mapping, LinearBooleanProblem *problem)
void	ProbeAndSimplifyProblem (SatPostsolver *postsolver, LinearBooleanProblem *problem)