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

/seL4-l4v-master/graph-refine/
H A Dsolver.py1502 reduced = self.reduce_model (cand_model, hyps)
1546 def reduce_model (self, model, hyps): member in class:Solver
1549 m = reduce_model (model, self, all_hyps)
2140 def reduce_model (m, solv, hyps): function

Completed in 41 milliseconds