Searched refs:simplify_expr_whyps (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-10.1.1/graph-refine/ |
| H A D | stack_logic.py | 81 def simplify_expr_whyps (sexpr, rep, hyps, cache = None, extra_defs = {}, function
102 x = simplify_expr_whyps (x, rep, hyps, cache = cache,
105 y = simplify_expr_whyps (y, rep, hyps, cache = cache,
138 vs = [(simplify_expr_whyps (x, rep, hyps,
|
Completed in 32 milliseconds