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

n_rule Struct Reference

#include <parser-structs.h>

Inheritance diagram for n_rule:

Inheritance graph
[legend]
Collaboration diagram for n_rule:

Collaboration graph
[legend]
List of all members.

Public Member Functions

 n_rule (const n_functor *, const n_body *)
 n_rule (const n_functor *)

Public Attributes

c_rulerule

Detailed Description

This class represents a rule.


Constructor & Destructor Documentation

n_rule::n_rule const n_functor ,
const n_body
 

Constructor taking the head and the body of the rule (in case of a call).

n_rule::n_rule const n_functor  ) 
 

Constructor taking the head of the rule (in case of an answer).


Member Data Documentation

c_rule* n_rule::rule
 

The c_rule representing this rule.


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