Searched refs:add_var (Results 1 - 3 of 3) sorted by last modified time
/seL4-l4v-10.1.1/graph-refine/ |
H A D | solver.py | 418 var = solv.add_var ('updated_htd', expr.typ) 439 var = solv.add_var ('invented', expr.typ) 882 def add_var (self, name, typ, kind = 'Var', member in class:Solver 907 name = self.add_var (name, typ, mem_name = mem_name) 954 ro_witness = self.add_var ('rodata-witness', word32T) 955 ro_witness_val = self.add_var ('rodata-witness-val', word32T) 1424 v = self.add_var ('arbitary-var', typ, kind = 'Aux') 1700 var = self.add_var ('pvalid', boolT) 1763 bot_mem = self.add_var (nm + '_bot', typ, mem_name = mem_name) 1764 top_mem = self.add_var (n [all...] |
H A D | rep_graph.py | 426 return self.add_var (nm2, typ, 612 smt_name = self.solv.add_var (name, val.typ) 620 def add_var (self, name, typ, mem_name = None, mem_calls = None): member in class:GraphSlice 693 success = self.solv.add_var (nm, boolT) 712 env[(x, typ)] = self.add_var (name, typ, 1059 vname = self.solv.add_var ('induct_i_%d_%d' % (n1, n2), 1216 inp_env[(v_nm, typ)] = rep.add_var (v_nm + '_init', typ,
|
/seL4-l4v-10.1.1/HOL4/src/1/ |
H A D | boolSyntax.sml | 283 fun add_var v th = RIGHT_BETA (AP_THM th v) function 285 itlist GEN V (rev_itlist add_var V th)
|
Completed in 63 milliseconds