#include <dutables.h>
Public Member Functions | |
bool | operator() (typename mlaskal::lit_storage< T >::const_iterator a, typename mlaskal::lit_storage< T >::const_iterator b) const |
For internal use only.
ordering functor on literal table indexes
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] |