main.cpp File Reference

Main program for cvc3. More...

#include <signal.h>
#include <fstream>
#include <iomanip>
#include "os.h"
#include "vc.h"
#include "parser.h"
#include "vc_cmd.h"
#include "command_line_flags.h"
#include "statistics.h"
#include <unistd.h>

Include dependency graph for main.cpp:

Go to the source code of this file.

Defines

Functions

Variables


Detailed Description

Main program for cvc3.

Author: Clark Barrett

Created: Wed Dec 4 17:21:10 2002


License to use, copy, modify, sell and/or distribute this software and its documentation for any purpose is hereby granted without royalty, subject to the terms and conditions defined in the LICENSE file provided with this distribution.


Definition in file main.cpp.


Define Documentation

#define VERSION   "unknown"

Referenced by main().


Function Documentation

void parse_args ( int  argc,
char **  argv,
CLFlags flags,
string &  fileName 
) [static]

void printUsage ( const CLFlags flags,
bool  followDisplay 
) [static]

void sighandler ( int  signum  ) 

int main ( int  argc,
char **  argv 
)


Variable Documentation

string programName [static]

Definition at line 49 of file main.cpp.

Referenced by main(), printUsage(), and sighandler().

ValidityChecker* vc = NULL [static]

Definition at line 51 of file main.cpp.


Generated on Thu Oct 15 22:16:54 2009 for CVC3 by  doxygen 1.5.8