Searched defs:get_name (Results 1 - 12 of 12) sorted by relevance

/seL4-l4v-master/HOL4/src/portableML/poly/
H A DStandard_Thread.sml10 val get_name: unit -> string option value
34 fun get_name () = Thread_Data.get name_var; function
/seL4-l4v-master/HOL4/examples/HolCheck/
H A DholCheckLib.sig26 val get_name : model -> string option value
H A DmodelTools.sig14 val get_name : model -> string option value
H A DmodelTools.sml37 fun get_name (m:model) = #name(m) function
/seL4-l4v-master/HOL4/examples/machine-code/compiler/
H A DcompilerLib.sml222 fun get_name tm = fst (dest_var (car tm)) handle HOL_ERR _ => function
/seL4-l4v-master/graph-refine/graph-to-graph/
H A Dpydot.py783 def get_name(self): member in class:Node
1208 def get_name(self): member in class:Graph
[all...]
/seL4-l4v-master/HOL4/examples/machine-code/graph/
H A Dgraph_specsLib.sml506 fun get_name name = function
/seL4-l4v-master/HOL4/examples/bootstrap/
H A DautomationLib.sml554 fun get_name tm = let function
/seL4-l4v-master/HOL4/examples/acl2/examples/M1/
H A Dsexp.sml1184 fun get_name tm = function
/seL4-l4v-master/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/
H A Dsexp.sml1110 fun get_name tm = function
/seL4-l4v-master/HOL4/examples/acl2/ml/
H A Dsexp.sml1110 fun get_name tm = function
/seL4-l4v-master/HOL4/examples/l3-machine-code/common/
H A DutilsLib.sml1061 val get_name = fst o Term.dest_const o fst o HolKernel.strip_comb o value

Completed in 155 milliseconds