TableauSettings.h File Reference

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

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

Go to the source code of this file.

Data Structures
struct	smtrat::lra::TableauSettings1
struct	smtrat::lra::TableauSettings2
struct	smtrat::lra::TableauSettings3

Namespaces
	smtrat
	Class to create the formulas for axioms.
	smtrat::lra

Enumerations
enum class	smtrat::lra::NBCS : unsigned { smtrat::lra::LESS_BOUNDED_VARIABLES , smtrat::lra::LESS_COLUMN_ENTRIES }

Detailed Description

Class to create a settings object for the Tableau.

Author

Florian Corzilius

Since

2014-10-01

Version

2014-10-01

Definition in file TableauSettings.h.