CVC3: main.cpp File Reference

CVC3

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.

Defines

#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 ValidityChecker * vc = 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.

Define Documentation

#define VERSION "unknown"

Referenced by main().

Function Documentation

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

Definition at line 237 of file main.cpp.

References CVC3::CLFLAG_BOOL, CVC3::CLFLAG_INT, CVC3::CLFLAG_STRING, CVC3::CLFLAG_STRVEC, CVC3::CLFlags::countFlags(), DebugAssert, CVC3::int2string(), and CVC3::CLFlags::setFlag().

Referenced by main().

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

Definition at line 188 of file main.cpp.

References CVC3::CLFLAG_BOOL, CVC3::CLFLAG_INT, CVC3::CLFLAG_NULL, CVC3::CLFLAG_STRING, CVC3::CLFLAG_STRVEC, CVC3::CLFlags::countFlags(), DebugAssert, CVC3::CLFlag::display(), std::endl(), CVC3::CLFlag::getBool(), CVC3::CLFlag::getHelp(), CVC3::CLFlag::getInt(), CVC3::CLFlag::getString(), CVC3::CLFlag::getType(), CVC3::int2string(), MiniSat::left(), and programName.

Referenced by main().

void sighandler ( int signum )

Definition at line 55 of file main.cpp.

References std::endl(), CVC3::ValidityChecker::getFlags(), CVC3::ValidityChecker::getStatistics(), IF_DEBUG, programName, and vc.

Referenced by main().

int main	(	int	argc,
		char **	argv
	)

Definition at line 76 of file main.cpp.

References std::endl(), CVC3::ValidityChecker::getEM(), CVC3::ValidityChecker::getFlags(), CVC3::ExprManager::getInputLang(), CVC3::ExprManager::getOutputLang(), IF_DEBUG, CVC3::ValidityChecker::loadFile(), parse_args(), CVC3::ValidityChecker::printStatistics(), printUsage(), programName, CVC3::CLFlags::setFlag(), sighandler(), CVC3::SPASS_LANG, TRACE_MSG, vc, and VERSION.

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