cp_model.cc File Reference

Go to the source code of this file.

Namespaces
	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.
	operations_research::sat

Functions
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 BoolVar &var)
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...