Remove unused SubrangeBound(s) classes (#221)
authorAndres Noetzli <andres.noetzli@gmail.com>
Thu, 17 Aug 2017 15:51:51 +0000 (08:51 -0700)
committerGitHub <noreply@github.com>
Thu, 17 Aug 2017 15:51:51 +0000 (08:51 -0700)
commit33ca2a3f2359493a9154a229a30ad3aa3a21f2aa
tree2faebdb98cff292d4b4cd9aed254a685efada15b
parent7766f0ba088ad6d6c58ea9678477b255c9e52fee
Remove unused SubrangeBound(s) classes (#221)

As discussed in pull request #220, commit
360d6ee8d3cdd5ddb47c328043eaed3a107b8db1 mostly got rid of SubrangeBound(s).
There were still a few mentions of it left in the code, most of them commented
out. The occurrences in expr.i and expr_manager.i, however, created issues with
the Python wrapper. This commit removes the SubrangeBound(s) implementation and
other leftovers.
14 files changed:
src/compat/cvc3_compat.cpp
src/cvc4.i
src/expr/expr.i
src/expr/expr_manager.i
src/expr/expr_manager_template.h
src/expr/node_manager.h
src/expr/type.h
src/parser/cvc/Cvc.g
src/theory/arith/theory_arith_type_rules.h
src/util/Makefile.am
src/util/subrange_bound.cpp [deleted file]
src/util/subrange_bound.h [deleted file]
src/util/subrange_bound.i [deleted file]
test/unit/theory/type_enumerator_white.h