Searched refs:dummy (Results 1 - 25 of 44) sorted by relevance

12

/seL4-l4v-10.1.1/HOL4/src/opentheory/compat/
H A DOpenTheoryBoolScript.sml9 val _ = new_constant("dummy",alpha)
10 val _ = OpenTheoryMap.OpenTheory_const_name{const={Thy=Thy,Name="dummy"},name=([],pkg)}
H A DOpenTheoryFunctionScript.sml9 val _ = new_constant("dummy",alpha)
10 val _ = OpenTheoryMap.OpenTheory_const_name{const={Thy=Thy,Name="dummy"},name=([],pkg)}
H A DOpenTheoryRelationScript.sml9 val _ = new_constant("dummy",alpha)
10 val _ = OpenTheoryMap.OpenTheory_const_name{const={Thy=Thy,Name="dummy"},name=([],pkg)}
/seL4-l4v-10.1.1/isabelle/src/Tools/Graphview/
H A Dmodel.scala43 Mutator.Edge_Endpoints((Graph_Display.Node.dummy, Graph_Display.Node.dummy)),
H A Dgraphview.scala47 case (dummy: Layout.Dummy, (info, _)) if Shapes.shape(info).contains(at) => dummy
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/
H A DPortableIsabelle.sml26 fun time f x = f x (* dummy *)
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Graphview/
H A Dmodel.scala43 Mutator.Edge_Endpoints((Graph_Display.Node.dummy, Graph_Display.Node.dummy)),
H A Dgraphview.scala47 case (dummy: Layout.Dummy, (info, _)) if Shapes.shape(info).contains(at) => dummy
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/
H A DPortableIsabelle.sml26 fun time f x = f x (* dummy *)
/seL4-l4v-10.1.1/HOL4/examples/HolCheck/
H A DstringBinTree.sml83 fun mk_leaf keymap ranks s mxl dummy =
95 in Binarymap.find(keymap,key) handle NotFound => dummy end
105 fun mk_subtree keymap ranks cl mxl ccl i s k dummy =
108 (s^(if (List.null k) then "+" else Char.toString (String.sub(hd k,Vector.sub(ranks,i))))) k dummy
114 else Char.toString(String.sub(hd kl,Vector.sub(ranks,i))))) kl dummy
115 else mk_subtree keymap ranks cl mxl (List.take((tl ccl),(List.length ccl) div 2)) i s kl dummy
118 else Char.toString(String.sub(hd kr,Vector.sub(ranks,i))))) kr dummy
119 else mk_subtree keymap ranks cl mxl (List.drop((tl ccl),(List.length ccl) div 2)) i s kr dummy
125 and mk_tree_aux keymap ranks cl mxl i s keys dummy =
127 then mk_leaf keymap ranks s mxl dummy
150 val dummy = if (List.null keys) then ``ARB`` else ``ARB:^(ty_antiq(type_of (snd(hd keymap))))`` value
[all...]
/seL4-l4v-10.1.1/isabelle/src/Pure/General/
H A Dgraph_display.scala20 val dummy: Node = Node("", "")
33 def is_dummy: Boolean = this == Node.dummy
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/General/
H A Dgraph_display.scala20 val dummy: Node = Node("", "")
33 def is_dummy: Boolean = this == Node.dummy
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DOption.sml82 structure dummy: structure
91 open dummy
/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/
H A DSolver.h143 vec<Lit> dummy(2,lit_Undef);
144 propagate_tmpbin = Clause_new(false, dummy);
145 analyze_tmpbin = Clause_new(false, dummy);
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfig.guess107 dummy=$tmp/dummy ;
108 tmpfiles="$dummy.c $dummy.o $dummy.rel $dummy" ;
110 ,,) echo "int x;" > $dummy.c ;
112 if ($c -c -o $dummy.o $dummy.c) >/dev/null 2>&1 ; then
142 cat <<-EOF > $dummy
[all...]
H A Dmdate-sh141 set dummy x`eval "$ls_command \"\\\$save_arg1\""`
146 # Because of the dummy argument above, month is in $2.
H A Dltmain.sh1413 # eval set dummy "$func_options_result"; shift
1546 eval set dummy "$_G_hook_result"; shift
1593 # set dummy "$func_split_short_opt_name" \
1597 # *) set dummy "$_G_opt" "$*"; shift; break ;;
1688 eval set dummy "$func_run_hooks_result"; shift
1702 set dummy --warnings none ${1+"$@"}
1739 set dummy "$func_split_equals_lhs" \
1747 set dummy "$func_split_short_opt_name" \
1755 set dummy "$func_split_short_opt_name" \
1762 *) set dummy "
[all...]
H A Dconfigure2941 set dummy gsed sed; ac_word=$2
3190 set dummy ${ac_tool_prefix}strip; ac_word=$2
3230 set dummy strip; ac_word=$2
3328 set dummy $ac_prog; ac_word=$2
3579 set dummy ${ac_tool_prefix}gcc; ac_word=$2
3619 set dummy gcc; ac_word=$2
3672 set dummy ${ac_tool_prefix}cc; ac_word=$2
3712 set dummy cc; ac_word=$2
3743 set dummy $ac_cv_prog_CC
3771 set dummy
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfig.guess107 dummy=$tmp/dummy ;
108 tmpfiles="$dummy.c $dummy.o $dummy.rel $dummy" ;
110 ,,) echo "int x;" > $dummy.c ;
112 if ($c -c -o $dummy.o $dummy.c) >/dev/null 2>&1 ; then
142 cat <<-EOF > $dummy
[all...]
H A Dltmain.sh1413 # eval set dummy "$func_options_result"; shift
1546 eval set dummy "$_G_hook_result"; shift
1593 # set dummy "$func_split_short_opt_name" \
1597 # *) set dummy "$_G_opt" "$*"; shift; break ;;
1688 eval set dummy "$func_run_hooks_result"; shift
1702 set dummy --warnings none ${1+"$@"}
1739 set dummy "$func_split_equals_lhs" \
1747 set dummy "$func_split_short_opt_name" \
1755 set dummy "$func_split_short_opt_name" \
1762 *) set dummy "
[all...]
H A Dconfigure3175 set dummy ${ac_tool_prefix}strip; ac_word=$2
3215 set dummy strip; ac_word=$2
3313 set dummy $ac_prog; ac_word=$2
3667 set dummy ${ac_tool_prefix}windres; ac_word=$2
3707 set dummy windres; ac_word=$2
3967 set dummy ${ac_tool_prefix}gcc; ac_word=$2
4007 set dummy gcc; ac_word=$2
4060 set dummy ${ac_tool_prefix}cc; ac_word=$2
4100 set dummy cc; ac_word=$2
4131 set dummy
[all...]
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/
H A Dmuddy.c166 EXTERNML value mlbdd_getvarnum(value dummy) /* ML */ argument
632 EXTERNML value mlbdd_bdd_clrvarblocks(value dummy) /* ML */ argument
635 return dummy;
659 EXTERNML value mlbdd_bdd_getreorder_method(value dummy) /* ML */ argument
666 EXTERNML value mlbdd_bdd_getreorder_times(value dummy) /* ML */ argument
673 EXTERNML value mlbdd_bdd_disable_reorder(value dummy) /* ML */ argument
676 return dummy;
680 EXTERNML value mlbdd_bdd_enable_reorder(value dummy) /* ML */ argument
683 return dummy;
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/
H A Dmakefile57 examples: dummy
67 dummy:
/seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/
H A Dlalr.sml204 val dummy = ref nil value
207 in case ItemList.find((item,dummy),l)
/seL4-l4v-10.1.1/HOL4/src/HolSat/
H A DminisatParse.sml90 (* the var component of the first pair is a dummy value ~1 *)

Completed in 176 milliseconds

12