TG-672 Refactor and small functional changes to core string refinement decision procedure#1421

Merged

thk123 merged 10 commits intodiffblue:developfrom

jasigal:refactor/string-refinement-decision-procedure#TG-672

Sep 26, 2017

Commits on Sep 26, 2017

TG-672 Initial refactoring (renaming, code removal)
jasigal
committed
TG-672 Fixed `expr_cast` to be unambiguous and added `const` and `const` references throughout
jasigal
committed
TG-672 Replaced `push_back` with `emplace_back`
jasigal
committed
TG-672 Fixed correctness issue in main loop of algorithm and added first UNSAT return
jasigal
committed
TG-672 Uniformity in algorithm for treatement of universal and not contains constraints
jasigal
committed
TG-672 Removed unneeded code (current index set display, extra invariant check)
jasigal
committed
TG-672 Grouped index sets together
jasigal
committed
TG-672 Grouped string axioms together
jasigal
committed
TG-672 Remove some unused concretizing code
jasigal
committed
TG-672 Added universal constraint counter-examples, assumed fix-point with no not contains constraints is equi-SAT
jasigal
committed