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

n_arg Struct Reference

#include <parser-structs.h>

Inheritance diagram for n_arg:

Inheritance graph
[legend]
Collaboration diagram for n_arg:

Collaboration graph
[legend]
List of all members.

Public Member Functions

 n_arg ()

Public Attributes

c_termterm

Detailed Description

This class represents an argument to a functor or an element of a list.


Constructor & Destructor Documentation

n_arg::n_arg  ) 
 

Constructor.


Member Data Documentation

c_term* n_arg::term
 

The term that is the argument.


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