cp_model.h File Reference

Detailed Description

This file implements a wrapper around the CP-SAT model proto.

Here is a minimal example that shows how to create a model, solve it, and print out the solution.

CpModelBuilder cp_model;
Domain all_animals(0, 20);
IntVar rabbits = cp_model.NewIntVar(all_animals).WithName("rabbits");
IntVar pheasants = cp_model.NewIntVar(all_animals).WithName("pheasants");
 
cp_model.AddEquality(LinearExpr::Sum({rabbits, pheasants}), 20);
cp_model.AddEquality(LinearExpr::ScalProd({rabbits, pheasants}, {4, 2}), 56);
 
const CpSolverResponse response = Solve(cp_model.Build());
if (response.status() == CpSolverStatus::FEASIBLE) {
  LOG(INFO) << SolutionIntegerValue(response, rabbits)
            << " rabbits, and " << SolutionIntegerValue(response, pheasants)
            << " pheasants.";
}

Definition in file cp_model.h.

Go to the source code of this file.

Classes
class	BoolVar
	A Boolean variable. More...
class	IntVar
	An integer variable. More...
class	LinearExpr
	A dedicated container for linear expressions. More...
class	IntervalVar
	Represents a Interval variable. More...
class	Constraint
	A constraint. More...
class	CircuitConstraint
	Specialized circuit constraint. More...
class	TableConstraint
	Specialized assignment constraint. More...
class	ReservoirConstraint
	Specialized reservoir constraint. More...
class	AutomatonConstraint
	Specialized automaton constraint. More...
class	NoOverlap2DConstraint
	Specialized no_overlap2D constraint. More...
class	CumulativeConstraint
	Specialized cumulative constraint. More...
class	CpModelBuilder
	Wrapper class around the cp_model proto. More...

Namespaces
	operations_research
	operations_research::sat

Functions
std::ostream &	operator<< (std::ostream &os, const BoolVar &var)
BoolVar	Not (BoolVar x)
	A convenient wrapper so we can write Not(x) instead of x.Not() which is sometimes clearer. More...
std::ostream &	operator<< (std::ostream &os, const IntVar &var)
std::ostream &	operator<< (std::ostream &os, const IntervalVar &var)
int64	SolutionIntegerValue (const CpSolverResponse &r, const LinearExpr &expr)
	Evaluates the value of an linear expression in a solver response. More...
int64	SolutionIntegerMin (const CpSolverResponse &r, IntVar x)
	Returns the min of an integer variable in a solution. More...
int64	SolutionIntegerMax (const CpSolverResponse &r, IntVar x)
	Returns the max of an integer variable in a solution. More...
bool	SolutionBooleanValue (const CpSolverResponse &r, BoolVar x)
	Evaluates the value of a Boolean literal in a solver response. More...