parser-structs.h File Reference
#include <vector>
#include <string>
#include <set>
#include "stringsholder.h"
#include "unify.h"
#include "constraint.h"
Include dependency graph for parser-structs.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Enumeration Type Documentation
|
The types of terms there are. - Enumeration values:
-
T_VARIABLE |
|
T_FUNCTOR |
|
T_LIST |
|
T_NUMBER |
|
|
Function Documentation
ostream& operator<< |
( |
ostream & |
os, |
|
|
const c_term * |
t |
|
) |
|
|
|
Write a text representation of this term to an ostream. - Parameters:
-
| os | the ostream to write to. |
| t | the term to write. |
|
ostream& operator<< |
( |
ostream & |
os, |
|
|
const c_rule * |
r |
|
) |
|
|
|
Write a text representation of this rule to an ostream. - Parameters:
-
| os | the ostream to write to. |
| r | the rule to write. |
|
|
Write a text representation of this program to an ostream. - Parameters:
-
| os | the ostream to write to. |
| p | the program to write. |
|
Generated on Wed Feb 16 20:54:02 2005 for Fixpoint Engine by
1.3.9.1