Permalink
Browse files

Refactored the inferrer and related subsystems

  • Loading branch information...
1 parent 397e0e5 commit 7f39aac0d0be4999b155eaf12f54cdc61adeed82 @mwolf76 committed Jan 16, 2013
Showing with 129 additions and 407 deletions.
  1. +3 −1 src/model/analyzer.cc
  2. +81 −371 src/model/inferrer.cc
  3. +40 −8 src/model/inferrer.hh
  4. +5 −27 src/model/model_mgr.cc
View
@@ -376,7 +376,9 @@ void Analyzer::walk_leaf(const Expr_ptr expr)
if (f_tm.is_boolean(tp)) {
res = EXPR_BOOLEAN;
}
- else if (f_tm.is_integer(tp)) {
+ else if (f_tm.is_int_const(tp) ||
+ f_tm.is_fxd_const(tp) ||
+ f_tm.is_algebraic(tp)) {
res = EXPR_ALGEBRAIC;
}
else assert(0);
Oops, something went wrong.

0 comments on commit 7f39aac

Please sign in to comment.