LRAModule.h File Reference

#include <smtrat-solver/Module.h>
#include <smtrat-common/smtrat-common.h>
#include "tableau/Tableau.h"
#include "LRAModuleStatistics.h"
#include "LRASettings.h"
#include <stdio.h>

Include dependency graph for LRAModule.h:

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

Go to the source code of this file.

Data Structures
class	smtrat::LRAModule< Settings >
	A module which performs the Simplex method on the linear part of it's received formula. More...
struct	smtrat::LRAModule< Settings >::Context
	Stores a formula, being part of the received formula of this module, and the position of this formula in the passed formula. More...

Namespaces
	smtrat
	Class to create the formulas for axioms.

Detailed Description

Author

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

Since

2012-04-05

Version

2014-10-01

Supports optimization.

Definition in file LRAModule.h.