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.

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 266 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 217 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 92 of file main.cpp.

References std::endl(), CVC3::ValidityChecker::getEM(), CVC3::ValidityChecker::getFlags(), CVC3::ExprManager::getInputLang(), CVC3::getLanguage(), CVC3::ExprManager::getOutputLang(), IF_DEBUG, CVC3::ValidityChecker::loadFile(), parse_args(), CVC3::ValidityChecker::printStatistics(), printUsage(), programName, CVC3::CLFlags::setFlag(), sighandler(), CVC3::SMTLIB_V2_LANG, 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().