(self, expr, named=None)
Assert the given expression.

        Optionally provides a name to the terms.

        Restrictions: Only after set-logic.
        :returns: None - might raise exception
Assert the given expression.
Assert the given expression .
def assert_(self, expr, named=None):
        """ Assert the given expression.

        Optionally provides a name to the terms.

        Restrictions: Only after set-logic.
        :returns: None - might raise exception
        """
        raise NotImplementedError
def assert_ ( self , expr , named = None ) : raise NotImplementedError