Main Page | Namespace List | Class Hierarchy | Alphabetical List | Class List | File List | Class Members | File Members

n_body Struct Reference

#include <parser-structs.h>

Inheritance diagram for n_body:

Inheritance graph
[legend]
Collaboration diagram for n_body:

Collaboration graph
[legend]
List of all members.

Public Member Functions

 n_body (const n_functor *, const n_body *)

Public Attributes

vector< c_term * > functors

Static Public Attributes

con_type constraint

Detailed Description

This class represents the body of a rule.


Constructor & Destructor Documentation

n_body::n_body const n_functor ,
const n_body
 

Functor taking the car and cdr of the body.


Member Data Documentation

con_type n_body::constraint [static]
 

Constraint used during parsing (will be something if we have a sat-expression in the program input for this rule).

vector<c_term*> n_body::functors
 

The functors that constitute the body.


The documentation for this struct was generated from the following files:
Generated on Wed Feb 16 20:54:37 2005 for Fixpoint Engine by  doxygen 1.3.9.1