IntEqModule.h File Reference

#include <smtrat-solver/Module.h>
#include "IntEqSettings.h"
#include <stdio.h>

Include dependency graph for IntEqModule.h:

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

Go to the source code of this file.

Data Structures
class	smtrat::IntEqModule< Settings >
	A module which checks whether the equations contained in the received (linear integer) formula have a solution. More...

Namespaces
	smtrat
	Class to create the formulas for axioms.

Typedefs
typedef std::map< FormulaT, std::shared_ptr< std::vector< FormulaT > > >	smtrat::Formula_Origins

Detailed Description

Author

Dustin Huetter dusti.nosp@m.n.hu.nosp@m.etter.nosp@m.@rwt.nosp@m.h-aac.nosp@m.hen..nosp@m.de

Version

2014-10-17 Created on 2014-10-17.

Definition in file IntEqModule.h.