GBModule.h File Reference

#include <carl-arith/groebner/groebner.h>
#include <smtrat-solver/Module.h>
#include "GBSettings.h"
#include "RewriteRules.h"
#include "VariableRewriteRule.h"
#include "GBModuleState.h"
#include "InequalitiesTable.h"
#include "InequalitiesTable.tpp"

Include dependency graph for GBModule.h:

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

Go to the source code of this file.

Data Structures
class	smtrat::GBModule< Settings >
	A solver module based on Groebner basis. More...

Namespaces
	smtrat
	Class to create the formulas for axioms.

Detailed Description

Author

Sebastian Junges

The classes contained in here are GBModuleState InequalitiesTable GBModule

Since: 2012-01-18 Version: 2013-30-03

Definition in file GBModule.h.