MainProgram Class Reference

dReal's main program. More...

#include </home/soonhokong/work/dreal4/dreal/dreal_main.h>

Public Member Functions
	MainProgram (int argc, const char *argv[])
	Constructs a main program using given command-line arguments.
int	Run ()
	Executes the main program.

Detailed Description

dReal's main program.

It parses options from command line and process a given file (either .smt2 or .dr file).

---

The documentation for this class was generated from the following files:

• /home/soonhokong/work/dreal4/dreal/dreal_main.h
• /home/soonhokong/work/dreal4/dreal/dreal_main.cc