#include <parser-structs.h>
Inheritance diagram for n_body:


Public Member Functions | |
| n_body (const n_functor *, const n_body *) | |
Public Attributes | |
| vector< c_term * > | functors |
Static Public Attributes | |
| con_type | constraint |
|
||||||||||||
|
Functor taking the car and cdr of the body. |
|
|
Constraint used during parsing (will be something if we have a sat-expression in the program input for this rule). |
|
|
The functors that constitute the body. |
1.3.9.1