smtrat::vb Namespace Reference

Data Structures
class	Variable
	Class for a variable. More...
class	Bound
	Class for the bound of a variable. More...
class	VariableBounds
	Class to manage the bounds of a variable. More...

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

Function Documentation

operator<<()

template<typename Type >

std::ostream& smtrat::vb::operator<< ( std::ostream &  _os, const VariableBounds< Type > &  _vs  )

inline

Prints the contents of the given variable bounds manager to the given stream.

Parameters

_os	The stream to print on.
_vs	The variable bounds manager to print.

Returns

The stream after printing on it.

Definition at line 536 of file VariableBounds.h.

Here is the call graph for this function: