Minisat::LessThan_default< T > Struct Template Reference

#include <Sort.h>

Public Member Functions
bool	operator() (T x, T y)

Detailed Description

template<class T>
struct Minisat::LessThan_default< T >

Definition at line 32 of file Sort.h.

Member Function Documentation

operator()()

template<class T >

bool Minisat::LessThan_default< T >::operator() ( T  x, T  y  )

inline

Definition at line 34 of file Sort.h.

---

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

• smtrat-modules/SATModule/Sort.h