C++ Reference
C++ Reference: CP-SAT
Detailed Description
A Boolean variable.
This class wraps an IntegerVariableProto with domain [0, 1]. It supports the logical negation (Not).
This can only be constructed via CpModelBuilder.NewBoolVar()
.
Definition at line 67 of file cp_model.h.
Public Member Functions | |
BoolVar () | |
BoolVar | WithName (const std::string &name) |
Sets the name of the variable. More... | |
const std::string & | Name () const |
Returns the name of the variable. More... | |
BoolVar | Not () const |
Returns the logical negation of the current Boolean variable. More... | |
bool | operator== (const BoolVar &other) const |
Equality test with another boolvar. More... | |
bool | operator!= (const BoolVar &other) const |
Dis-Equality test. More... | |
std::string | DebugString () const |
Debug string. More... | |
const IntegerVariableProto & | Proto () const |
Returns the underlying protobuf object (useful for testing). More... | |
IntegerVariableProto * | MutableProto () const |
Returns the mutable underlying protobuf object (useful for model edition). More... | |
int | index () const |
Returns the index of the variable in the model. More... | |
Constructor & Destructor Documentation
◆ BoolVar()
BoolVar | ( | ) |
Member Function Documentation
◆ DebugString()
std::string DebugString | ( | ) | const |
Debug string.
◆ index()
|
inline |
Returns the index of the variable in the model.
If the variable is the negation of another variable v, its index is -v.index() - 1.
Definition at line 109 of file cp_model.h.
◆ MutableProto()
|
inline |
Returns the mutable underlying protobuf object (useful for model edition).
Definition at line 99 of file cp_model.h.
◆ Name()
|
inline |
Returns the name of the variable.
Definition at line 75 of file cp_model.h.
◆ Not()
|
inline |
Returns the logical negation of the current Boolean variable.
Definition at line 78 of file cp_model.h.
◆ operator!=()
|
inline |
Dis-Equality test.
Definition at line 86 of file cp_model.h.
◆ operator==()
|
inline |
Equality test with another boolvar.
Definition at line 81 of file cp_model.h.
◆ Proto()
|
inline |
Returns the underlying protobuf object (useful for testing).
Definition at line 94 of file cp_model.h.
◆ WithName()
BoolVar WithName | ( | const std::string & | name | ) |
Sets the name of the variable.
The documentation for this class was generated from the following file: