Searched refs:functions (Results 251 - 275 of 695) sorted by relevance

<<11121314151617181920>>

/seL4-l4v-10.1.1/HOL4/examples/hardware/hol88/cmos/
H A Dmk_XOR.ml181 % Some INCREDIBLY INEFFICIENT ML functions for `running' CMOS circuits. %
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/
H A DLine.sml144 Other Line and Curve functions:
H A DPainting.sml150 Other painting and drawing functions:
H A DRectangle.sml99 Other Rectangle functions:
H A DShape.sml103 Other Filled shape functions:
/seL4-l4v-10.1.1/HOL4/src/Boolify/test/
H A Dtest.sml18 (* Helper functions. *)
/seL4-l4v-10.1.1/HOL4/src/HolSat/vector_def_CNF/
H A DdefCNF.sml20 (* Helper functions. *)
/seL4-l4v-10.1.1/HOL4/src/HolSmt/
H A DZ3.sml94 (* invert 'ty_dict' and 'tm_dict', create parsing functions *)
/seL4-l4v-10.1.1/HOL4/src/compute/src/
H A Dcompute_rules.sml7 * Useful data structure to build tail recursive functions of type 'a -> 'b
H A Dequations.sml8 * The First order matching functions.
/seL4-l4v-10.1.1/HOL4/src/datatype/mutrec/examples/
H A Dexample.sml146 quotations that define mutually recursive functions. Type inference will
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibMetis.sml50 (* Helper functions *)
H A DmlibSubsume.sml46 (* Helper functions *)
H A DmlibTerm.sml70 (* Binary functions *)
435 (* Total comparison functions for terms and formulas. *)
535 val functions = func [] o sing; value
538 val function_names = map fst o functions;
/seL4-l4v-10.1.1/HOL4/src/num/arith/src/
H A DRationals.sml3 (* DESCRIPTION : Abstract datatype and functions for rational arithmetic *)
H A DSolve.sml104 (* Discriminator functions for T (true) and F (false) *)
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DPortable.sml3 (* DESCRIPTION : Structure for SML System dependent functions. *)
410 (* functions for lifting equality functions over standard type operators *)
692 A type that can be used for sharing, and some functions for lifting
/seL4-l4v-10.1.1/HOL4/src/quotient/choice/
H A DquotientScript.sml47 (* the corresponding functions/relations of the constituent subtypes *)
413 (* to create PROD (i.e., PAIR) ABS and REP functions, use infix ## *)
517 (* for SUM of ABS / REP functions, use infix ++, defined here: *)
749 (* for ABS of functions,
/seL4-l4v-10.1.1/HOL4/src/quotient/src/
H A Dquotient_optionScript.sml35 (* the corresponding functions/relations of the constituent subtypes *)
/seL4-l4v-10.1.1/HOL4/src/real/
H A DDiff.sml29 (* Where the li's are hypothetical derivatives for unknown sub-functions *)
/seL4-l4v-10.1.1/HOL4/src/simp/src/
H A DcongLib.sig67 (*Some elemantary functions to handle congsets and congsetfrags*)
/seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/
H A Dabsyn.sml17 * Replaced character predicates (isalpha, isnum) with functions from Char.
/seL4-l4v-10.1.1/graph-refine/
H A Dlogic.py233 def mk_pairing (functions, c_f, as_f, prunes = None, cpu = None):
234 fs = (functions[as_f], functions[c_f])
237 funcall_depth = funcall_depth (functions, c_f))
1222 from target_objects import functions, pairings namespace
1224 fun = functions[node.fname]
1284 def aligned_address_sanity (functions, symbols, radix):
1285 for (f, func) in functions.iteritems ():
1287 # happens for static or invented functions sometimes
/seL4-l4v-10.1.1/HOL4/Manual/Description/
H A DHolBdd.tex246 \Muddy{} is the Moscow ML interface to \Buddy{}. It provides ML functions for constructing and
318 The functions \t{init} and \t{done} should only be called once per session.
330 The functions \t{init} and \t{done} should only be called once in a session.
366 using the following functions
469 The following functions quantify BDDs with respect to sets of variables:
563 The functions \t{satone} and \t{findSat} do not necessarily find the
581 \Buddy{} provides functions for calculating in a single step the
756 BDDs can be saved on disk with the functions
778 The functions for printing BDDs are;
836 \Buddy{} provides functions fo
[all...]
/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Description/
H A DHolBdd.tex246 \Muddy{} is the Moscow ML interface to \Buddy{}. It provides ML functions for constructing and
318 The functions \t{init} and \t{done} should only be called once per session.
330 The functions \t{init} and \t{done} should only be called once in a session.
366 using the following functions
469 The following functions quantify BDDs with respect to sets of variables:
563 The functions \t{satone} and \t{findSat} do not necessarily find the
581 \Buddy{} provides functions for calculating in a single step the
756 BDDs can be saved on disk with the functions
778 The functions for printing BDDs are;
836 \Buddy{} provides functions fo
[all...]

Completed in 321 milliseconds

<<11121314151617181920>>