Gluco::LessThan_default< T > Struct Template Reference

#include <Sort.h>

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

Detailed Description

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

Definition at line 34 of file Sort.h.

Member Function Documentation

operator()()

template<class T>

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

inline

Definition at line 35 of file Sort.h.

{ return x < y; }

---

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

• src/sat/glucose/Sort.h