(self, formula, named=None)
Assert the formula in the solver.

        This must return the asserted formula (as an FNode) exactly as
        it was asserted in the solver, thus accounting for rewritings,
        simplifications, etc.

        :returns: The asserted formula
        :rtype: :py:class:
Assert the formula in the solver.
Assert the formula in the solver .
def _add_assertion(self, formula, named=None):
        """Assert the formula in the solver.

        This must return the asserted formula (as an FNode) exactly as
        it was asserted in the solver, thus accounting for rewritings,
        simplifications, etc.

        :returns: The asserted formula
        :rtype: :py:class:
        """
        raise NotImplementedError
def _add_assertion ( self , formula , named = None ) : raise NotImplementedError