smtrat::ICPModule< Settings >::comp Struct Reference

Typedefs: More...

#include <ICPModule.h>

Public Member Functions
bool	operator() (std::pair< double, unsigned > lhs, std::pair< double, unsigned > rhs) const

Detailed Description

template<class Settings>
struct smtrat::ICPModule< Settings >::comp

Typedefs:

Definition at line 43 of file ICPModule.h.

Member Function Documentation

operator()()

template<class Settings >

bool smtrat::ICPModule< Settings >::comp::operator() ( std::pair< double, unsigned >  lhs, std::pair< double, unsigned >  rhs  ) const

inline

Definition at line 46 of file ICPModule.h.

---

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

• smtrat-modules/ICPModule/ICPModule.h