PModule.h File Reference

All preprocessing modules shall derive from this module, that is modules, which simplify their received formula to an equisatisfiable formula being passed to their backends. More...

#include "Module.h"

Include dependency graph for PModule.h:

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

Go to the source code of this file.

Data Structures
class	smtrat::PModule

Namespaces
	smtrat
	Class to create the formulas for axioms.

Detailed Description

All preprocessing modules shall derive from this module, that is modules, which simplify their received formula to an equisatisfiable formula being passed to their backends.

Author

Florian Corzilius corzi.nosp@m.lius.nosp@m.@cs.r.nosp@m.wth-.nosp@m.aache.nosp@m.n.de

Version

2015-09-09 Created on 2015-09-09.

Definition in file PModule.h.