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 >::register_set (const PropertySet &c)

Check whether the cache hit check can be removed.

Member lhf::LatticeHashForest< PropertyT, PropertyLess, PropertyHash, PropertyEqual, PropertyPrinter, Nesting >::register_set (const PropertySet &c, bool &cold)

Check whether the cache hit check can be removed.

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

Check whether the cache hit check can be removed.

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

Implement sort bound optimization