execute_smtlib.h File Reference

#include "../parser/ParserWrapper.h"
#include "../CLIStatistics.h"
#include <string>

Include dependency graph for execute_smtlib.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
	smtrat
	Class to create the formulas for axioms.

Functions
template<typename Executor >
bool	smtrat::parseInput (const std::string &pathToInputFile, Executor &e, bool &queueInstructions)
template<typename Executor >
int	smtrat::executeFile (const std::string &pathToInputFile, Executor &e)
	Parse the file and save it in formula. More...