Definition at line 64 of file sat_base.h.
◆ Literal() [1/4]
◆ Literal() [2/4]
◆ Literal() [3/4]
◆ Literal() [4/4]
Literal |
( |
BooleanVariable |
variable, |
|
|
bool |
is_positive |
|
) |
| |
|
inline |
◆ DebugString()
std::string DebugString |
( |
| ) |
const |
|
inline |
◆ Index()
LiteralIndex Index |
( |
| ) |
const |
|
inline |
◆ IsNegative()
bool IsNegative |
( |
| ) |
const |
|
inline |
◆ IsPositive()
bool IsPositive |
( |
| ) |
const |
|
inline |
◆ Negated()
◆ NegatedIndex()
LiteralIndex NegatedIndex |
( |
| ) |
const |
|
inline |
◆ operator!=()
bool operator!= |
( |
Literal |
other | ) |
const |
|
inline |
◆ operator<()
bool operator< |
( |
const Literal & |
literal | ) |
const |
|
inline |
◆ operator==()
bool operator== |
( |
Literal |
other | ) |
const |
|
inline |
◆ SignedValue()
int SignedValue |
( |
| ) |
const |
|
inline |
◆ Variable()
BooleanVariable Variable |
( |
| ) |
const |
|
inline |
The documentation for this class was generated from the following file: