(self, formula)
Enforces that argument 'formula' is of type Boolean.

        Raises TypeError.
Enforces that argument 'formula' is of type Boolean.
Enforces that argument formula is of type Boolean .
def _assert_is_boolean(self, formula):
        """Enforces that argument 'formula' is of type Boolean.

        Raises TypeError.
        """
        if formula.get_type() != BOOL:
            raise PysmtTypeError("Argument must be boolean.")
def _assert_is_boolean ( self , formula ) : if formula . get_type ( ) != BOOL : raise PysmtTypeError ( "Argument must be boolean." )