Defines | Functions | Variables

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>

Go to the source code of this file.




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.

Referenced by main(), and sighandler().