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

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:

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

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

Enumerations

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

Functions

ostream & operator<< (ostream &os, const prolog_program *p)
ostream & operator<< (ostream &os, const c_rule *r)
ostream & operator<< (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 
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.

ostream& operator<< 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 Wed Feb 16 20:54:02 2005 for Fixpoint Engine by  doxygen 1.3.9.1