Move quantifiers relevance module inside E-matching module (#3186)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sat, 17 Aug 2019 18:50:31 +0000 (13:50 -0500)
committerGitHub <noreply@github.com>
Sat, 17 Aug 2019 18:50:31 +0000 (13:50 -0500)
commit246a0bc47aa23f3d4225a78e0600094d0e6ac639
tree998bde3998f4b05d38a61f0dcd6f6af7b327e66d
parent340c647857663df289fe9d243175a20124615ab5
Move quantifiers relevance module inside E-matching module (#3186)
src/theory/quantifiers/ematching/inst_strategy_e_matching.cpp
src/theory/quantifiers/ematching/inst_strategy_e_matching.h
src/theory/quantifiers/ematching/instantiation_engine.cpp
src/theory/quantifiers/ematching/instantiation_engine.h
src/theory/quantifiers_engine.cpp
src/theory/quantifiers_engine.h