#include <literal.h>
Public Member Functions | |
symbol_type (Literal x=negLit(0), data_type d=0) | |
Public Attributes | |
Literal | lit |
data_type | name |
Clasp::SymbolTable::symbol_type::symbol_type | ( | Literal | x = negLit(0) , |
data_type | d = 0 |
||
) | [inline] |
Literal Clasp::SymbolTable::symbol_type::lit [mutable] |