#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. |