further step in removing dismatching constraints from IG; in any case…

…, when restored they will not be based on LiteralSubstitutionTreeWithoutTop
ModelWriter · Oct 4, 2017 · ab5ca17 · ab5ca17
1 parent a68abcd
commit ab5ca17
Show file tree

Hide file tree

Showing 7 changed files with 17 additions and 385 deletions.
diff --git a/Indexing/LiteralSubstitutionTreeWithoutTop.cpp b/Indexing/LiteralSubstitutionTreeWithoutTop.cpp
diff --git a/Indexing/LiteralSubstitutionTreeWithoutTop.hpp b/Indexing/LiteralSubstitutionTreeWithoutTop.hpp