Go to the source code of this file.
Namespaces | |
| operations_research | |
| Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. | |
| operations_research::sat | |
Functions | |
| std::ostream & | operations_research::sat::operator<< (std::ostream &os, const BoolVar &var) |
| BoolVar | operations_research::sat::Not (BoolVar x) |
| A convenient wrapper so we can write Not(x) instead of x.Not() which is sometimes clearer. More... | |
| std::ostream & | operations_research::sat::operator<< (std::ostream &os, const IntVar &var) |
| std::ostream & | operations_research::sat::operator<< (std::ostream &os, const IntervalVar &var) |
| int64 | operations_research::sat::SolutionIntegerValue (const CpSolverResponse &r, const LinearExpr &expr) |
| Evaluates the value of an linear expression in a solver response. More... | |
| int64 | operations_research::sat::SolutionIntegerMin (const CpSolverResponse &r, IntVar x) |
| Returns the min of an integer variable in a solution. More... | |
| int64 | operations_research::sat::SolutionIntegerMax (const CpSolverResponse &r, IntVar x) |
| Returns the max of an integer variable in a solution. More... | |
| bool | operations_research::sat::SolutionBooleanValue (const CpSolverResponse &r, BoolVar x) |
| Returns the value of a Boolean literal (a Boolean variable or its negation) in a solver response. More... | |