(self)
return self._assertion_stack
Returns the list of assertions that are still in the solver.

        Returns the list of results of calls to _add_assertion() that
        are still asserted in the solver
Returns the list of assertions that are still in the solver.
Returns the list of assertions that are still in the solver .
def assertions(self):
        """Returns the list of assertions that are still in the solver.

        Returns the list of results of calls to _add_assertion() that
        are still asserted in the solver
        """
        return self._assertion_stack
def assertions ( self ) : return self . _assertion_stack