Searched refs:simplify_sexp (Results 1 - 1 of 1) sorted by path
| /seL4-l4v-10.1.1/graph-refine/ |
| H A D | debug.py | 137 bit = simplify_sexp (bit, rep, m, flatten = False)
325 imp2 = simplify_sexp (imp2, rep, m)
406 addr_s = simplify_sexp (addr_s, rep, m)
407 v_s = simplify_sexp (v_s, rep, m)
428 def simplify_sexp (smt_xp, rep, m, flatten = True): function
434 return simplify_sexp (x, rep, m, flatten)
436 return simplify_sexp (y, rep, m, flatten)
438 smt_xp = tuple ([simplify_sexp (x, rep, m, False)
|
Completed in 53 milliseconds