/Users/snippy/unfication/src/main.cpp File Reference

#include <stdio.h>
#include <iostream>
#include <fstream>
#include "config.h"
#include "exception.h"
#include "display.h"
#include "parser.h"
#include "unification.h"

Include dependency graph for main.cpp:

Go to the source code of this file.

Functions

int main (int argc, char *argv[])


Function Documentation

int main ( int  argc,
char *  argv[] 
)

Main file of the unificator

Author:
Mathieu Guillame-Bert and Gabriel Synnaeve

Definition at line 15 of file main.cpp.

References Display::displayResult(), Display::Foot(), globconfig, Display::Head(), and Unification::run().

Here is the call graph for this function:


Generated on Thu Jun 19 19:14:26 2008 for unification by  doxygen 1.5.6