Searched defs:false_term (Results 1 - 8 of 8) sorted by last modified time
/seL4-l4v-10.1.1/graph-refine/ |
H A D | syntax.py | 1100 false_term = Expr ('Op', boolT, name = 'False', vals = []) variable
|
H A D | solver.py | 177 from syntax import (Expr, fresh_name, builtinTs, true_term, false_term, namespace [all...] |
H A D | rep_graph.py | 10 from syntax import (true_term, false_term, boolT, mk_and, mk_not, mk_implies, namespace
|
H A D | problem.py | 9 from syntax import (Expr, mk_var, Node, true_term, false_term, namespace
|
H A D | loop_bounds.py | 6 from syntax import mk_not, true_term, false_term, mk_implies, Expr, Type, unspecified_precond_term,mk_and namespace
|
H A D | logic.py | 11 from syntax import true_term, false_term, mk_num namespace
|
H A D | check.py | 23 from syntax import (true_term, false_term, boolT, mk_var, mk_word32, mk_word8, namespace
|
/seL4-l4v-10.1.1/graph-refine/graph-to-graph/ |
H A D | elf_correlate.py | 14 from graph_refine.syntax import true_term, false_term, mk_not namespace
|
Completed in 163 milliseconds