Update Incremental hom search to work for patterns with AttrVars#43

Merged

kris-brown merged 9 commits intomainfrom attr_incremental

Feb 28, 2024

+298-83

Commits on Feb 16, 2024

make incremental work for patterns and additions w/ AttrVars
Kris Brown
committed
handle ob / attrtypes separately in good_overlap
Kris Brown
committed

Commits on Feb 22, 2024

keep track of *when* new matches are added
Kris Brown
committed

Commits on Feb 23, 2024

broken but mostly right
Kris Brown
committed
bugfix
Kris Brown
committed
create fields for key dict and vect
Kris Brown
committed

Commits on Feb 26, 2024

extend key_dict and key_vect to IncSumHomSet
Kris Brown
committed
Remove extraneous / misspelled word
Kris Brown
committed
remove unused function
Kris Brown
committed