smtratSolver.cpp File Reference

#include "parser/theories/TheoryTypes.h"
#include <iostream>
#include <fstream>
#include <smtrat-common/smtrat-common.h>
#include "ExitCodes.h"
#include "config.h"
#include <smtrat-strategies/smtrat-strategies.h>
#include <sys/resource.h>
#include <smtrat-common/settings/SettingsComponents.h>
#include <smtrat-common/settings/SettingsParser.h>
#include "handle_options.h"
#include "parser/ParserWrapper.h"
#include "parser/ParserSettings.h"
#include <carl-io/SMTLIBStream.h>
#include <carl-logging/logging-internals.h>
#include "tools/config.h"
#include "tools/cnf_conversion.h"
#include "tools/execute_smtlib.h"
#include "tools/Executor.h"
#include "tools/formula_analyzer.h"
#include "tools/parser_dimacs.h"
#include "tools/parser_opb.h"
#include "tools/parser_smtlib.h"
#include "tools/preprocessor.h"

Include dependency graph for smtratSolver.cpp:

Go to the source code of this file.

Functions
void	print_statistics ()
void	store_validation_formulas ()
void	setup_logging ()
void	signal_handler (int)
int	main (int argc, char *argv[])

Detailed Description

Author

Florian Corzilius

Sebastian Junges

Created on May 04, 2012, 2:40 PM

Definition in file smtratSolver.cpp.

Function Documentation

main()

int main	(	int	argc,
		char *	argv[]
	)

Definition at line 104 of file smtratSolver.cpp.

Here is the call graph for this function:

print_statistics()

void print_statistics

(

)

Definition at line 54 of file smtratSolver.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

setup_logging()

void setup_logging

(

)

Definition at line 74 of file smtratSolver.cpp.

Here is the caller graph for this function:

signal_handler()

void signal_handler

(

int

)

Definition at line 99 of file smtratSolver.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

store_validation_formulas()

void store_validation_formulas

(

)

Definition at line 66 of file smtratSolver.cpp.

Here is the call graph for this function:

Here is the caller graph for this function: