Searched refs:assert_fact (Results 1 - 3 of 3) sorted by relevance
| /seL4-l4v-10.1.1/graph-refine/ |
| H A D | c_rodata.py | 33 rep.solv.assert_fact (hyp, {})
|
| H A D | rep_graph.py | 450 self.solv.assert_fact (imp, prev_env,
614 self.solv.assert_fact (eq, env, unsat_tag
867 self.solv.assert_fact (imp, {}, unsat_tag = ('FunEq',
870 self.solv.assert_fact (imp, {})
|
| H A D | solver.py | 1599 def assert_fact (self, fact, env, unsat_tag = None): member in class:Solver
1711 self.assert_fact (impl_al, {})
2187 solv.assert_fact (true_term, {})
2193 solv.assert_fact (syntax.mk_eq (v, z), env)
|
Completed in 78 milliseconds