mlc::ls_index_comparator< T > Class Template Reference

#include <dutables.h>

List of all members.

Public Member Functions

bool operator() (typename mlaskal::lit_storage< T >::const_iterator a, typename mlaskal::lit_storage< T >::const_iterator b) const

Detailed Description

template<typename T>
class mlc::ls_index_comparator< T >

For internal use only.

ordering functor on literal table indexes


Member Function Documentation

template<typename T >
bool mlc::ls_index_comparator< T >::operator() ( typename mlaskal::lit_storage< T >::const_iterator  a,
typename mlaskal::lit_storage< T >::const_iterator  b 
) const [inline]

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

Generated on Wed Nov 25 10:18:00 2009 for DU4 support classes by  doxygen 1.6.1