Consistently referring to "assertion stack" (from SMT-LIB 2.6) within the API of MainSolver instead of "frames" which is not known outside of OpenSMT community.
I also added methods to access assertions of the assertion stack. The API offers both a copy of all the assertions and also just a view to the assertions, which is more suitable when one wants to just iterate over the assertions of get their count. However, the view is not implemented yet.
Consistently referring to "assertion stack" (from SMT-LIB 2.6) within the API of
MainSolverinstead of "frames" which is not known outside of OpenSMT community. I also added methods to access assertions of the assertion stack. The API offers both a copy of all the assertions and also just a view to the assertions, which is more suitable when one wants to just iterate over the assertions of get their count. However, the view is not implemented yet.