(args)
Enforces that the elements in args are not of BOOL type.
Enforces that the elements in args are not of BOOL type.
Enforces that the elements in args are not of BOOL type .
def assert_no_boolean_in_args(args):
    """ Enforces that the elements in args are not of BOOL type."""
    for arg in args:
        if (arg.get_type() == BOOL):
            raise PysmtTypeError("Boolean Expressions are not allowed "
                                 "in arguments")
def assert_no_boolean_in_args ( args ) : for arg in args : if ( arg . get_type ( ) == BOOL ) : raise PysmtTypeError ( "Boolean Expressions are not allowed " "in arguments" )