Todo List

Member lhf::Deduplicator< PropertyT, PropertyLess, PropertyHash, PropertyEqual, PropertyPrinter >::register_value (const PropertyT &c)

Check whether the cache hit check can be removed.

Member lhf::LatticeHashForest< PropertyT, PropertyLess, PropertyHash, PropertyEqual, PropertyPrinter, Nesting, BLOCK_SIZE, BLOCK_MASK >::register_set_single (const PropertyElement &c)

Check whether the cache hit check can be removed.

Member lhf::LatticeHashForest< PropertyT, PropertyLess, PropertyHash, PropertyEqual, PropertyPrinter, Nesting, BLOCK_SIZE, BLOCK_MASK >::set_filter (Index s, std::function< bool(const PropertyElement &)> filter_func, UnaryOperationMap &cache)

Implement sort bound optimization

Implement bounding as a separate function instead