Clasp::Var_t Struct Reference

Possible types of a variable. More...

#include <literal.h>

Collaboration diagram for Clasp::Var_t:

Public Types
enum	Type { atom_var = 1, body_var = 2, atom_body_var = atom_var | body_var }

Static Public Member Functions
static bool	isBody (Type t)
static bool	isAtom (Type t)

Detailed Description

Possible types of a variable.

Member Enumeration Documentation

enum Clasp::Var_t::Type

Enumerator
atom_var
body_var
atom_body_var

Member Function Documentation

static bool Clasp::Var_t::isAtom ( Type  t )

inlinestatic

static bool Clasp::Var_t::isBody ( Type  t )

inlinestatic

---

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

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