Searched refs:typ_representable (Results 1 - 2 of 2) sorted by last modified time

/seL4-l4v-master/graph-refine/
H A Dsolver.py516 def typ_representable (typ): function
524 if not typ_representable (typ):
526 if all ([typ_representable (v.typ) for v in subexprs]):
891 if typ_representable (typ) and kind != 'Aux':
936 if typ_representable (val.typ):
H A Dlogic.py1235 if solver.typ_representable (lhs.typ)

Completed in 45 milliseconds