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

parser-classes.cpp File Reference

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

Include dependency graph for parser-classes.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
 

ostream& operator<< ostream &  os,
const c_rule r
 

ostream& operator<< ostream &  os,
const c_term t
 

void to_string const int &  val,
ostringstream &  oss
 


Variable Documentation

StringsHolder stringsholder
 


Generated on Mon Mar 21 00:07:57 2005 for Fixpoint Engine by  doxygen 1.3.9.1