(args)
Enforces that the elements in args are of BOOL type.
Enforces that the elements in args are of BOOL type.
Enforces that the elements in args are of BOOL type .
def assert_boolean_args(args):
    """ Enforces that the elements in args are of BOOL type. """
    for arg in args:
        t = arg.get_type()
        if (t != BOOL):
            raise PysmtTypeError("%s is not allowed in arguments" % t)
def assert_boolean_args ( args ) : for arg in args : t = arg . get_type ( ) if ( t != BOOL ) : raise PysmtTypeError ( "%s is not allowed in arguments" % t )