smtrat::vb::Variable< T >::boundPointerComp Struct Reference

Compares two pointers showing to bounds. More...

Public Member Functions
bool	operator() (const Bound< T > *const pBoundA, const Bound< T > *const pBoundB) const

Detailed Description

template<typename T>
struct smtrat::vb::Variable< T >::boundPointerComp

Compares two pointers showing to bounds.

Definition at line 203 of file VariableBounds.h.

Member Function Documentation

operator()()

template<typename T >

bool smtrat::vb::Variable< T >::boundPointerComp::operator() ( const Bound< T > *const  pBoundA, const Bound< T > *const  pBoundB  ) const

inline

Parameters

pBoundA	A pointer to a bound.
pBoundB	A pointer to a bound.

Returns

true, if the bound, the first pointer shows to is less than the bound the second pointer shows to.

Definition at line 210 of file VariableBounds.h.

---

The documentation for this struct was generated from the following file:

• smtrat-variablebounds/VariableBounds.h