Definition at line 51 of file clause.h.
◆ AsSpan()
absl::Span<const Literal> AsSpan |
( |
| ) |
const |
|
inline |
◆ begin()
const Literal* const begin |
( |
| ) |
const |
|
inline |
◆ Create()
◆ DebugString()
std::string DebugString |
( |
| ) |
const |
◆ empty()
◆ end()
◆ FirstLiteral()
◆ IsAttached()
bool IsAttached |
( |
| ) |
const |
|
inline |
◆ IsSatisfied()
◆ operator delete()
void operator delete |
( |
void * |
p | ) |
|
|
inline |
◆ PropagatedLiteral()
Literal PropagatedLiteral |
( |
| ) |
const |
|
inline |
◆ PropagationReason()
absl::Span<const Literal> PropagationReason |
( |
| ) |
const |
|
inline |
◆ RemoveFixedLiteralsAndTestIfTrue()
◆ SecondLiteral()
◆ size()
The documentation for this class was generated from the following files: