#include <constraint_index.h>
Public Methods | |
Constraint * | add_lt (const T &v, FTAllocator &ftmemory) |
Constraint * | add_gt (const T &v, FTAllocator &ftmemory) |
Constraint * | add_eq (const T &v, FTAllocator &ftmemory) |
bool | match (const T &v, CProcessor &p) const |
Private Types | |
typedef vector< node > | v_index |
typedef map< T, Constraint * > | m_index |
Private Attributes | |
v_index | lt_map |
v_index | gt_map |
m_index | eq_map |
This template index works for equals, less-than, and greater-than constraints for all the types that implement operators ==
, <
, and >
operators. In particular, this template is optimal for numbers (integers or floating point).