Searched refs:filter (Results 51 - 75 of 578) sorted by relevance

1234567891011>>

/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A DAtomNet.sig29 val filter : ('a -> bool) -> 'a atomNet -> 'a atomNet value
H A DLiteralNet.sig31 val filter : ('a -> bool) -> 'a literalNet -> 'a literalNet value
H A DStream.sml116 fun filter p Nil = Nil function
117 | filter p (Cons (x,xs)) =
118 if p x then Cons (x, fn () => filter p (xs ())) else filter p (xs ());
H A DSubsume.sig21 val filter : ('a -> bool) -> 'a subsume -> 'a subsume value
H A DTermNet.sig31 val filter : ('a -> bool) -> 'a termNet -> 'a termNet value
/seL4-l4v-master/isabelle/src/Tools/jEdit/src/
H A Djedit_options.scala123 def make_components(predefined: List[Option_Component], filter: String => Boolean)
129 case None => if (filter(opt.name)) List(make_component(opt)) else Nil
/seL4-l4v-master/HOL4/polyml/basis/
H A DList.sml101 fun filter _ [] = [] function
102 | filter f (a::b) = if f a then a :: filter f b else filter f b
H A DOption.sml30 val filter : ('a -> bool) -> 'a -> 'a option value
54 fun filter f a = if f a then SOME a else NONE function
/seL4-l4v-master/HOL4/examples/lambda/basics/
H A DNEWLib.sml16 val finite_asms = filter is_finitestrset asl
/seL4-l4v-master/HOL4/examples/machine-code/graph/
H A DbackgroundLib.sml30 fun diff xs ys = filter (fn x => not (mem x ys)) xs
146 fun term_diff xs ys = filter (fn x => not (term_mem x ys)) xs;
148 fun term_intersect xs ys = filter (fn x => term_mem x ys) xs;
152 tm :: filter (fn x => not (aconv tm x)) tms;
H A Dstack_analysisLib.sml46 |> filter (fn (x,y) => is_var x andalso not (aconv x y))
160 val us = filter (fn (p,_,_,_,_) => aconv p pc) all_summaries
204 val s_simple = filter (fn (x,_) => is_var x) s
205 val s_read_word = filter (fn (x,_) => not (is_var x)) s
211 val new_u = new_u_part @ filter (fn (x,y) => not (term_mem x u_domain)) s
214 in (pc2,filter is_simple_or_stack_read new_u,new_t) end
218 val s = filter (fn (x,y) => not (is_arb y)) s
238 then found_stack_access pc (filter (fn (x,y) => contains_sp y)
261 val us = filter (fn (p,_,_,_,_) => aconv p pc) all_summaries
262 val us = filter (can_exec_ste
[all...]
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A DAtomNet.sig29 val filter : ('a -> bool) -> 'a atomNet -> 'a atomNet value
H A DLiteralNet.sig31 val filter : ('a -> bool) -> 'a literalNet -> 'a literalNet value
H A DStream.sml116 fun filter p Nil = Nil function
117 | filter p (Cons (x,xs)) =
118 if p x then Cons (x, fn () => filter p (xs ())) else filter p (xs ());
H A DSubsume.sig21 val filter : ('a -> bool) -> 'a subsume -> 'a subsume value
H A DTermNet.sig31 val filter : ('a -> bool) -> 'a termNet -> 'a termNet value
/seL4-l4v-master/l4v/isabelle/src/Tools/jEdit/src/
H A Djedit_options.scala123 def make_components(predefined: List[Option_Component], filter: String => Boolean)
129 case None => if (filter(opt.name)) List(make_component(opt)) else Nil
/seL4-l4v-master/HOL4/examples/miller/formalize/
H A Dextra_pred_setTools.sml44 filter = NONE,
/seL4-l4v-master/HOL4/src/bag/
H A DbagSimps.sml13 filter = NONE
84 filter = NONE, dprocs = [],
127 val addthese = filter (is_ok o concl) (flatten (map CONJUNCTS newthms))
141 ac = [], convs = [], filter = NONE, rewrs = [],
/seL4-l4v-master/HOL4/src/AI/sml_inspection/
H A DsmlOpen.sml134 let val l = filter (test_struct s) (#allStruct PolyML.globalNameSpace ()) in
142 let val l = filter test_val (#allVal PolyML.globalNameSpace ()) in
151 val l = filter test_val (#allVal PolyML.globalNameSpace ())
153 filter (test_struct s) (#allStruct PolyML.globalNameSpace ())
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/CodeTree/
H A DCODETREE_OPTIMISER.sml89 (* Turn a list of fields to use into a filter for SetContainer. *)
99 and filterToFields filter =
100 BoolVector.foldri (fn (i, true, l) => i :: l | (_, _, l) => l) [] filter
102 and setInFilter filter = BoolVector.foldl (fn (true, n) => n+1 | (false, n) => n) 0 filter
107 fun buildFullTuple(filter, select) =
110 if t = BoolVector.length filter then []
111 else if BoolVector.sub(filter, t)
241 ArgPattTuple of { filter: BoolVector.vector, allConst: bool, fromFields: bool }
284 else ArgPattTuple{filter
[all...]
/seL4-l4v-master/HOL4/src/metis/
H A DmlibKernel.sml62 val cl1' = List.filter (not o equal fm) cl1
64 val cl2' = List.filter (not o equal (negate fm)) cl2
/seL4-l4v-master/HOL4/examples/ARM/v4/
H A DarmLib.sml25 rewrs = [], congs = [], filter = NONE, ac = [], dprocs = []};
62 filter = NONE, ac = [], dprocs = []};
/seL4-l4v-master/isabelle/src/Pure/System/
H A Disabelle_fonts.scala69 if (hidden) all_fonts else all_fonts.filter(entry => !entry.hidden)
/seL4-l4v-master/l4v/isabelle/src/Pure/System/
H A Disabelle_fonts.scala69 if (hidden) all_fonts else all_fonts.filter(entry => !entry.hidden)

Completed in 97 milliseconds

1234567891011>>