Clasp::SymbolTable::symbol_type Struct Reference

#include <literal.h>

Collaboration diagram for Clasp::SymbolTable::symbol_type:

Public Member Functions
	symbol_type (Literal x=negLit(0), data_type d=0)

Public Attributes
Literal	lit
data_type	name

Constructor & Destructor Documentation

Clasp::SymbolTable::symbol_type::symbol_type ( Literal  x = negLit(0), data_type  d = 0  )

inline

Member Data Documentation

Literal Clasp::SymbolTable::symbol_type::lit

mutable

data_type Clasp::SymbolTable::symbol_type::name

---

The documentation for this struct was generated from the following file:

• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libclasp/clasp/literal.h