projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9f77ec4) | patch
Clean up more uses of ExprManager in parsers (#3932)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 9 Mar 2020 19:33:01 +0000 (14:33 -0500)
committerGitHub <noreply@github.com>
Mon, 9 Mar 2020 19:33:01 +0000 (14:33 -0500)
commite337310b9f5df6b7ecd0f2e351b9c0e4265e8e69
tree649fee3d9e18e01e4933ceef7099b6ed10d17457tree
parent9f77ec44decf18fe23c738988281373795dcca0dcommit | diff
Clean up more uses of ExprManager in parsers (#3932)

Towards parser migration.

Beyond Datatypes, there are still a handful of calls to the ExprManager in the parsers.
This eliminates a few missing cases from TPTP and also inlines the access of ExprManager in the places its used.
src/parser/cvc/Cvc.g diff | blob | history
src/parser/parser.cpp diff | blob | history
src/parser/parser.h diff | blob | history
src/parser/smt2/Smt2.g diff | blob | history
src/parser/smt2/smt2.cpp diff | blob | history
src/parser/tptp/tptp.cpp diff | blob | history