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

/seL4-l4v-10.1.1/graph-refine/
H A Dsolver.py418 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 Drep_graph.py426 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 DboolSyntax.sml283 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