VariableBounds.h File Reference

#include <smtrat-common/model.h>
#include <iomanip>
#include "VariableBounds.tpp"

Include dependency graph for VariableBounds.h:

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

Go to the source code of this file.

Data Structures
class	smtrat::vb::Bound< T >
	Class for the bound of a variable. More...
class	smtrat::vb::Variable< T >
	Class for a variable. More...
struct	smtrat::vb::Variable< T >::boundPointerComp
	Compares two pointers showing to bounds. More...
class	smtrat::vb::VariableBounds< T >
	Class to manage the bounds of a variable. More...

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

Functions
template<typename Type >
std::ostream &	smtrat::vb::operator<< (std::ostream &_os, const VariableBounds< Type > &_vs)
	Prints the contents of the given variable bounds manager to the given stream. More...

Detailed Description

Author

Florian Corzilius

Since

2012-10-04

Version

2013-02-05

Definition in file VariableBounds.h.