CVC3  2.4.1
Macros | 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.

Macros

#define VERSION   "unknown"

Functions

static void parse_args (int argc, char **argv, CLFlags &flags, string &fileName)
static void printUsage (const CLFlags &flags, bool followDisplay)
void sighandler (int signum)
int main (int argc, char **argv)

Variables

static string programName
static ValidityCheckervc = NULL

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.


Macro Definition 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().