Searched defs:false_term (Results 1 - 8 of 8) sorted by relevance
| /seL4-l4v-master/graph-refine/graph-to-graph/ |
| H A D | elf_correlate.py | 11 from graph_refine.syntax import true_term, false_term, mk_not namespace
|
| /seL4-l4v-master/graph-refine/ |
| H A D | problem.py | 7 from syntax import (Expr, mk_var, Node, true_term, false_term, namespace
|
| H A D | loop_bounds.py | 12 from syntax import mk_not, true_term, false_term, mk_implies, Expr, Type, unspecified_precond_term,mk_and namespace
|
| H A D | check.py | 21 from syntax import (true_term, false_term, boolT, mk_var, mk_word32, mk_word8, namespace
|
| H A D | logic.py | 9 from syntax import true_term, false_term, mk_num namespace
|
| H A D | rep_graph.py | 8 from syntax import (true_term, false_term, boolT, mk_and, mk_not, mk_implies, namespace
|
| H A D | syntax.py | 1098 false_term = Expr ('Op', boolT, name = 'False', vals = []) variable
|
| H A D | solver.py | 175 from syntax import (Expr, fresh_name, builtinTs, true_term, false_term, namespace
[all...] |
Completed in 63 milliseconds