#include <literal.h>
Definition at line 25 of file literal.h.
◆ var_not
◆ literalt() [1/2]
◆ literalt() [2/2]
◆ clear()
◆ const_var_no()
◆ dimacs()
int literalt::dimacs |
( |
| ) |
const |
|
inline |
◆ from_dimacs()
void literalt::from_dimacs |
( |
int |
d | ) |
|
|
inline |
◆ get()
◆ invert()
void literalt::invert |
( |
| ) |
|
|
inline |
◆ is_constant()
bool literalt::is_constant |
( |
| ) |
const |
|
inline |
◆ is_false()
bool literalt::is_false |
( |
| ) |
const |
|
inline |
◆ is_true()
bool literalt::is_true |
( |
| ) |
const |
|
inline |
◆ make_false()
void literalt::make_false |
( |
| ) |
|
|
inline |
◆ make_true()
void literalt::make_true |
( |
| ) |
|
|
inline |
◆ operator!()
◆ operator!=()
◆ operator<()
◆ operator==()
◆ operator^()
◆ operator^=()
◆ set() [1/2]
◆ set() [2/2]
◆ sign()
bool literalt::sign |
( |
| ) |
const |
|
inline |
◆ swap()
◆ unused_var_no()
◆ var_no()
The documentation for this class was generated from the following file: