Ejemplos de RME en Python

Ejemplo n.º 1

Archivo: ivy_check.py Proyecto: simudream/ivy

def eval_assert_rhs(rhs, domain):
    if not isinstance(rhs, act.RME):
        rhs = act.RME(log.And(), [], rhs)
    return itp.eval_state(rhs, act.ActionContext(domain))

Ejemplo n.º 2

def eval_assert_rhs(rhs, domain):
    if not isinstance(rhs, ivy_actions.RME):
        rhs = ivy_actions.RME(And(), None, rhs)
    # create the state in a temporary action context
    with ivy_actions.ActionContext(domain):
        return eval_state(rhs)