#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 |
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1.3.2