CVC3
2.4.1
|
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.
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 VERSION "unknown" |
Referenced by main().
Definition at line 266 of file main.cpp.
References CVC3::CLFlags::countFlags(), CVC3::CLFlags::setFlag(), CVC3::CLFLAG_BOOL, CVC3::CLFLAG_INT, CVC3::CLFLAG_STRING, CVC3::CLFLAG_STRVEC, DebugAssert, and CVC3::int2string().
Referenced by main().
void printUsage | ( | const CLFlags & | flags, |
bool | followDisplay | ||
) | [static] |
Definition at line 217 of file main.cpp.
References programName, CVC3::CLFlags::countFlags(), CVC3::CLFlag::display(), CVC3::CLFlag::getType(), CVC3::CLFLAG_NULL, CVC3::CLFLAG_BOOL, CVC3::CLFlag::getBool(), CVC3::CLFLAG_INT, CVC3::int2string(), CVC3::CLFlag::getInt(), CVC3::CLFLAG_STRING, CVC3::CLFlag::getString(), CVC3::CLFLAG_STRVEC, DebugAssert, MiniSat::left(), CVC3::CLFlag::getHelp(), and std::endl().
Referenced by main().
void sighandler | ( | int | signum | ) |
Definition at line 55 of file main.cpp.
References programName, IF_DEBUG, vc, CVC3::ValidityChecker::getFlags(), CVC3::ValidityChecker::getStatistics(), and std::endl().
Referenced by main().
int main | ( | int | argc, |
char ** | argv | ||
) |
Definition at line 92 of file main.cpp.
References programName, IF_DEBUG, sighandler(), parse_args(), std::endl(), CVC3::getLanguage(), CVC3::SMTLIB_V2_LANG, CVC3::CLFlags::setFlag(), vc, CVC3::ValidityChecker::getFlags(), printUsage(), VERSION, CVC3::ValidityChecker::getEM(), CVC3::ExprManager::getOutputLang(), CVC3::SPASS_LANG, CVC3::ValidityChecker::loadFile(), CVC3::ExprManager::getInputLang(), CVC3::ValidityChecker::printStatistics(), and TRACE_MSG.
string programName [static] |
Definition at line 49 of file main.cpp.
Referenced by sighandler(), main(), and printUsage().
ValidityChecker* vc = NULL [static] |
Definition at line 51 of file main.cpp.
Referenced by sighandler(), and main().