diff options
| author | Tuowen Zhao <ztuowen@gmail.com> | 2016-10-12 16:10:42 -0600 |
|---|---|---|
| committer | Tuowen Zhao <ztuowen@gmail.com> | 2016-10-12 16:10:42 -0600 |
| commit | e7b23d0ca917cc80e3525352e720424f574aadb9 (patch) | |
| tree | 87c503ecc5380daabd8633ce186bd0873dbd802e /lib/codegen/src/codegen.cc | |
| parent | dffb489fda5e6224970a0af6e49f07243c26541d (diff) | |
| download | chill-e7b23d0ca917cc80e3525352e720424f574aadb9.tar.gz chill-e7b23d0ca917cc80e3525352e720424f574aadb9.tar.bz2 chill-e7b23d0ca917cc80e3525352e720424f574aadb9.zip | |
anand's init code
Diffstat (limited to 'lib/codegen/src/codegen.cc')
| -rwxr-xr-x | lib/codegen/src/codegen.cc | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/lib/codegen/src/codegen.cc b/lib/codegen/src/codegen.cc index 92ca702..0036c3e 100755 --- a/lib/codegen/src/codegen.cc +++ b/lib/codegen/src/codegen.cc @@ -267,15 +267,13 @@ CG_result *CodeGen::buildAST(int level, const BoolSet<> &active, bool split_on_c break; } } - - - for (BoolSet<>::const_iterator i = active.begin(); i != active.end() && checkForSplits; i++) { Relation r = Gist(copy(Rs[*i]), copy(hull), 1); if (r.is_obvious_tautology()) continue; r = EQs_to_GEQs(r); + r.print(); for (GEQ_Iterator e = r.single_conjunct()->GEQs(); e; e++) { if ((*e).has_wildcards()) |