LRASettings.h File Reference

Class to create a settings object for the LRAModule. More...

#include "tableau/TableauSettings.h"

Include dependency graph for LRASettings.h:

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

Go to the source code of this file.

Data Structures
struct	smtrat::LRASettings1
struct	smtrat::LRASettings1::Tableau_settings
struct	smtrat::LRASettings2
struct	smtrat::LRASettings2::Tableau_settings
struct	smtrat::LRASettingsICP
struct	smtrat::LRASettingsICP::Tableau_settings

Namespaces
	smtrat
	Class to create the formulas for axioms.

Detailed Description

Class to create a settings object for the LRAModule.

Author

Florian Corzilius

Since

2014-10-01

Version

2014-10-01

Definition in file LRASettings.h.