parser-classes.hpp File Reference
#include <vector>
#include <string>
#include <set>
#include "stringsholder.hpp"
#include "unify.hpp"
#include "constraint.hpp"
Include dependency graph for parser-classes.hpp:
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 |
|
|
Function Documentation
std::ostream& operator<< |
( |
std::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. |
|
std::ostream& operator<< |
( |
std::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. |
|
std::ostream& operator<< |
( |
std::ostream & |
os, |
|
|
const prolog_program * |
p |
|
) |
|
|
|
Write a text representation of this program to an ostream. - Parameters:
-
| os | the ostream to write to. |
| p | the program to write. |
|
Generated on Mon Mar 21 00:08:01 2005 for Fixpoint Engine by
1.3.9.1