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

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:

Include dependency graph

This graph shows which files directly or indirectly include this file:

Included by dependency graph

Go to the source code of this file.

Classes

class  c_base
class  c_term
class  n_base
class  n_arg
class  n_arglist
class  n_functor
class  n_variable
class  n_list
class  c_rule
class  n_body
class  n_rule
class  n_rules
class  prolog_program
class  c_sorter

Enumerations

enum  { T_VARIABLE = 1, T_FUNCTOR = 2, T_LIST = 3 }

Functions

std::ostream & operator<< (std::ostream &os, const prolog_program *p)
std::ostream & operator<< (std::ostream &os, const c_rule *r)
std::ostream & operator<< (std::ostream &os, const c_term *t)


Enumeration Type Documentation

anonymous enum
 

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  doxygen 1.3.9.1