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

parser-structs.cpp File Reference

#include <set>
#include <iostream>
#include <sstream>
#include <algorithm>
#include <iterator>
#include "parser-structs.h"
#include "compmod.h"
#include "log.h"
#include "resmes.h"

Include dependency graph for parser-structs.cpp:

Include dependency graph

Functions

ostream & operator<< (ostream &os, const c_term *t)
ostream & operator<< (ostream &os, const c_rule *r)
ostream & operator<< (ostream &os, const prolog_program *p)
void to_string (const int &val, ostringstream &oss)

Variables

StringsHolder stringsholder

Function Documentation

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.

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

void to_string const int &  val,
ostringstream &  oss
 


Variable Documentation

StringsHolder stringsholder
 


Generated on Wed Feb 16 20:53:58 2005 for Fixpoint Engine by  doxygen 1.3.9.1