#include <Literal.hpp>
Public Member Functions | |
Data () | |
Data (bool sign, const Atom &atom) | |
bool | positive () const |
bool | negative () const |
bool | sign () const |
const Atom & | atom () const |
void | ref () |
void | deref () |
Protected Attributes | |
int | _counter |
bool | _sign |
Atom | _atom |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|