Definition at line 207 of file integer_base.h.
#include <integer_base.h>
◆ IntegerLiteral() [1/2]
| operations_research::sat::IntegerLiteral::IntegerLiteral |
( |
| ) |
|
|
inline |
◆ IntegerLiteral() [2/2]
| operations_research::sat::IntegerLiteral::IntegerLiteral |
( |
IntegerVariable | v, |
|
|
IntegerValue | b ) |
|
inline |
◆ DebugString()
| std::string operations_research::sat::IntegerLiteral::DebugString |
( |
| ) |
const |
|
inline |
◆ FalseLiteral()
| IntegerLiteral operations_research::sat::IntegerLiteral::FalseLiteral |
( |
| ) |
|
|
inlinestatic |
◆ GreaterOrEqual()
| IntegerLiteral operations_research::sat::IntegerLiteral::GreaterOrEqual |
( |
IntegerVariable | i, |
|
|
IntegerValue | bound ) |
|
inlinestatic |
◆ IsAlwaysFalse()
| bool operations_research::sat::IntegerLiteral::IsAlwaysFalse |
( |
| ) |
const |
|
inline |
◆ IsAlwaysTrue()
| bool operations_research::sat::IntegerLiteral::IsAlwaysTrue |
( |
| ) |
const |
|
inline |
◆ IsValid()
| bool operations_research::sat::IntegerLiteral::IsValid |
( |
| ) |
const |
|
inline |
◆ LowerOrEqual()
| IntegerLiteral operations_research::sat::IntegerLiteral::LowerOrEqual |
( |
IntegerVariable | i, |
|
|
IntegerValue | bound ) |
|
inlinestatic |
◆ Negated()
| IntegerLiteral operations_research::sat::IntegerLiteral::Negated |
( |
| ) |
const |
|
inline |
◆ operator!=()
| bool operations_research::sat::IntegerLiteral::operator!= |
( |
IntegerLiteral | o | ) |
const |
|
inline |
◆ operator==()
| bool operations_research::sat::IntegerLiteral::operator== |
( |
IntegerLiteral | o | ) |
const |
|
inline |
◆ TrueLiteral()
| IntegerLiteral operations_research::sat::IntegerLiteral::TrueLiteral |
( |
| ) |
|
|
inlinestatic |
◆ bound
| IntegerValue operations_research::sat::IntegerLiteral::bound = IntegerValue(0) |
◆ var
The documentation for this struct was generated from the following file:
1.15.0