Searched defs:factor (Results 1 - 19 of 19) sorted by relevance

/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Dsimple_annotated_fn.c13 unsigned int total, factor; local
H A Dsimple_fn.c13 unsigned factor, total; local
H A Dfncall.c20 int factor, total; local
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibClauseset.sig46 val factor : clause list -> clauseset -> clause list * clauseset value
H A DmlibResolution.sig35 val factor : clause list -> resolution -> clause list * resolution value
H A DmlibResolution.sml188 fun factor cls res = function
H A DmlibClauseset.sml579 fun factor cls set = function
H A DmlibClause.sml593 fun factor ((cl,n) |-> lit) = function
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DClause.sig89 val factor : clause -> clause list value
H A DRule.sig272 val factor : Thm.thm -> Thm.thm list value
H A DActive.sml852 fun factor active cls = factor' active [] cls; function
[all...]
H A DClause.sml258 fun factor (cl as Clause {parameters,thm,...}) = function
H A DRule.sml779 fun factor th = function
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DClause.sig89 val factor : clause -> clause list value
H A DRule.sig272 val factor : Thm.thm -> Thm.thm list value
H A DActive.sml852 fun factor active cls = factor' active [] cls; function
[all...]
H A DClause.sml258 fun factor (cl as Clause {parameters,thm,...}) = function
H A DRule.sml779 fun factor th = function
/seL4-l4v-10.1.1/HOL4/src/integer/
H A DCooperMath.sml294 val factor = Arbint.div(tm_i, g) value

Completed in 167 milliseconds