Clean up decision_proceduret API#4530

Merged

kroening merged 5 commits intodevelopfrom

decision_procedure2

Apr 14, 2019

Commits on Apr 14, 2019

elaborate prop_convt::handle(expr)
Daniel Kroening
committed
introduce ranged for in cover_goals
Daniel Kroening
committed
use new handle interface in cover_goals
Daniel Kroening
committed
cover_goalst does not need prop_convt
Daniel Kroening
committed
move l_get and convert back into prop_convt
Daniel Kroening
committed