#include "config.h"
#include "exception.h"
#include <string.h>
#include <fstream>
#include <iostream>
#include <typeinfo>
Go to the source code of this file.
Variables | |
ostream * | mycout |
Configuration * | globconfig |
Definition at line 11 of file config.cpp.
Referenced by Unification::debugDisplay(), SimpleSolution::display(), main(), Trivial::print(), Clash::print(), Hole::print(), Or::print(), And::printNoBracket(), Unification::run(), Display::texDi(), Display::texEndl(), and Display::texHspace().
ostream* mycout |
Definition at line 10 of file config.cpp.
Referenced by Automata::Automata(), Configuration::Configuration(), Automata::display(), Display::displayResult(), Parser::Parser(), Unification::run(), Unification::tryApplyR1(), Unification::tryApplyR2(), Unification::tryApplyR3(), Unification::tryApplyR4(), Unification::tryApplyR5(), and Unification::verifValidPresburger().