/seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
H A D | AtomNet.sig | 29 val filter : ('a -> bool) -> 'a atomNet -> 'a atomNet value
|
H A D | LiteralNet.sig | 31 val filter : ('a -> bool) -> 'a literalNet -> 'a literalNet value
|
H A D | Stream.sml | 116 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 D | Subsume.sig | 21 val filter : ('a -> bool) -> 'a subsume -> 'a subsume value
|
H A D | TermNet.sig | 31 val filter : ('a -> bool) -> 'a termNet -> 'a termNet value
|
/seL4-l4v-master/isabelle/src/Tools/jEdit/src/ |
H A D | jedit_options.scala | 123 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 D | List.sml | 101 fun filter _ [] = [] function 102 | filter f (a::b) = if f a then a :: filter f b else filter f b
|
H A D | Option.sml | 30 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 D | NEWLib.sml | 16 val finite_asms = filter is_finitestrset asl
|
/seL4-l4v-master/HOL4/examples/machine-code/graph/ |
H A D | backgroundLib.sml | 30 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 D | stack_analysisLib.sml | 46 |> 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 D | AtomNet.sig | 29 val filter : ('a -> bool) -> 'a atomNet -> 'a atomNet value
|
H A D | LiteralNet.sig | 31 val filter : ('a -> bool) -> 'a literalNet -> 'a literalNet value
|
H A D | Stream.sml | 116 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 D | Subsume.sig | 21 val filter : ('a -> bool) -> 'a subsume -> 'a subsume value
|
H A D | TermNet.sig | 31 val filter : ('a -> bool) -> 'a termNet -> 'a termNet value
|
/seL4-l4v-master/l4v/isabelle/src/Tools/jEdit/src/ |
H A D | jedit_options.scala | 123 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 D | extra_pred_setTools.sml | 44 filter = NONE,
|
/seL4-l4v-master/HOL4/src/bag/ |
H A D | bagSimps.sml | 13 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 D | smlOpen.sml | 134 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 D | CODETREE_OPTIMISER.sml | 89 (* 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 D | mlibKernel.sml | 62 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 D | armLib.sml | 25 rewrs = [], congs = [], filter = NONE, ac = [], dprocs = []}; 62 filter = NONE, ac = [], dprocs = []};
|
/seL4-l4v-master/isabelle/src/Pure/System/ |
H A D | isabelle_fonts.scala | 69 if (hidden) all_fonts else all_fonts.filter(entry => !entry.hidden)
|
/seL4-l4v-master/l4v/isabelle/src/Pure/System/ |
H A D | isabelle_fonts.scala | 69 if (hidden) all_fonts else all_fonts.filter(entry => !entry.hidden)
|