Searched refs:Perform (Results 1 - 24 of 24) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/num/reduce/src/
H A DreduceLib.sml29 (* REDUCE_CONV - Perform above reductions at any depth. *)
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dgc.cpp345 virtual void Perform() function in class:FullGCRequest
356 virtual void Perform() function in class:QuickGCRequest
370 // Perform a full garbage collection. This is called either from ML via the full_gc RTS call
H A Dsighandler.cpp201 virtual void Perform();
216 void SignalRequest::Perform() function in class:SignalRequest
H A Dprofiling.cpp128 virtual void Perform();
469 void ProfileRequest::Perform() function in class:ProfileRequest
H A Dsavestate.cpp364 virtual void Perform();
436 void SaveRequest::Perform() function in class:SaveRequest
742 virtual void Perform(void);
755 void StateLoader::Perform(void) function in class:StateLoader
1464 virtual void Perform();
1479 void ModuleStorer::Perform()
1511 // This is copied from SaveRequest::Perform and should be common code.
1621 virtual void Perform();
1630 void ModuleLoader::Perform()
H A Dprocesses.h229 virtual void Perform() = 0;
H A Dprocess_env.cpp155 virtual void Perform();
160 void CygwinSpawnRequest::Perform() function in class:CygwinSpawnRequest
H A Dprocesses.cpp990 request->Perform();
1518 threadRequest->Perform();
H A Dexporter.cpp481 virtual void Perform() { exporter->RunExport(exportRoot->WordP()); } function in class:ExportRequest
H A Dsharedata.cpp1038 virtual void Perform()
/seL4-l4v-10.1.1/HOL4/examples/computability/turing/
H A Dturing_machineScript.sml220 (* Perform action an move to state *)
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DtestACL2encoding.ml489 (* Perform the testing... *)
/seL4-l4v-10.1.1/HOL4/src/meson/src/
H A DmesonLib.sml455 (* Perform basic MESON expansion. *)
474 (* Perform first basic expansion which allows continuation call. *)
/seL4-l4v-10.1.1/HOL4/src/refute/
H A DCanon.sml652 (* Perform a superior FOL reduction of a higher order NNF formula. *)
/seL4-l4v-10.1.1/HOL4/examples/HolCheck/
H A DlzConv.sml237 * Perform the first successful conversion of those in the list. *
244 * Perform every conversion in the list.
/seL4-l4v-10.1.1/HOL4/src/1/
H A DTactic.sml441 * condition p is not a constant. Perform a case split on the condition. *
H A DConv.sml236 * Perform the first successful conversion of those in the list. *
243 * Perform every conversion in the list. *
/seL4-l4v-10.1.1/HOL4/src/integer/
H A DOmegaMLShadow.sml743 Perform one step of the shadow calculation algorithm:
H A DOmegaMath.sml751 Perform cond_removal0 on all of t's disjunctions, not being put off
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibOmega.sml799 Perform one step of the shadow calculation algorithm:
/seL4-l4v-10.1.1/HOL4/examples/HolBdd/
H A DDerivedBddRules.sml333 (* Perform disjunctive partitioning *)
/seL4-l4v-10.1.1/HOL4/src/tfl/src/
H A DDefn.sml534 * Perform TC extraction without making a definition. *
/seL4-l4v-10.1.1/HOL4/Manual/Description/
H A DHolBdd.tex2294 \hbc{MakeSimpRecThm : thm -> thm}{Perform disjunctive partitioning. Implemented by \[\mathtt{SIMP\_RULE\, bool\_ss\, [LEFT\_AND\_OVER\_OR,EXISTS\_OR\_THM]}\]}
/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Description/
H A DHolBdd.tex2294 \hbc{MakeSimpRecThm : thm -> thm}{Perform disjunctive partitioning. Implemented by \[\mathtt{SIMP\_RULE\, bool\_ss\, [LEFT\_AND\_OVER\_OR,EXISTS\_OR\_THM]}\]}

Completed in 316 milliseconds