abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
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 33 of file Sort.h.

Member Function Documentation

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

Definition at line 34 of file Sort.h.

34 { return x < y; }

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