Possible types of a variable. More...

#include <literal.h>

Public Types
enum	Type { atom_var = 1, body_var = 2, atom_body_var = atom_var \| body_var }
Static Public Member Functions
static bool	isAtom (Type t)
static bool	isBody (Type t)

Detailed Description

Possible types of a variable.

Definition at line 54 of file literal.h.

Member Enumeration Documentation

Enumerator:

Definition at line 55 of file literal.h.

static bool Clasp::Var_t::isAtom ( Type t ) [inline, static]

Definition at line 59 of file literal.h.

static bool Clasp::Var_t::isBody ( Type t ) [inline, static]

Definition at line 56 of file literal.h.

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