Searched defs:filt (Results 1 - 15 of 15) sorted by last modified time
| /seL4-l4v-master/graph-refine/ |
| H A D | search.py | 712 def filt (opts, lim): function in function:mk_i_j_opts
|
| /seL4-l4v-master/HOL4/src/q/ |
| H A D | Q.sml | 494 fun filt {residue, ...} = function
|
| /seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
| H A D | TermNet.sml | 195 fun filt (Result l) = function
|
| H A D | Rewrite.sml | 566 fun filt (id,_) = not (IntSet.member id rpl) function
583 fun filt (id,_,_) = not (IntSet.member id spl) function
|
| H A D | Model.sml | 1205 fun filt 0 acc = acc function
|
| /seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | TermNet.sml | 195 fun filt (Result l) = function
|
| H A D | Rewrite.sml | 566 fun filt (id,_) = not (IntSet.member id rpl) function
583 fun filt (id,_,_) = not (IntSet.member id spl) function
|
| H A D | Model.sml | 1205 fun filt 0 acc = acc function
|
| /seL4-l4v-master/HOL4/src/simp/src/ |
| H A D | Unify.sml | 62 let fun filt v = not (aconv v (fst p1)) andalso not (aconv v (fst p2)) function
|
| /seL4-l4v-master/HOL4/src/parse/ |
| H A D | FCNet.sml | 197 let fun filt (LEAF L) = LEAF(List.filter (fn (x,y) => P y) L) function
|
| /seL4-l4v-master/HOL4/src/metis/ |
| H A D | mlibTermnet.sml | 260 fun filt (RESULT l) = function
|
| H A D | mlibRewrite.sml | 413 fun filt (i,l) = if Option.isSome (M.peek (known,i)) then i :: l else l function
|
| H A D | mlibLiteralnet.sml | 72 fun filt (_,l) = let val l = List.filter pred l in (length l, l) end function
|
| /seL4-l4v-master/HOL4/src/experimental-kernel/ |
| H A D | Net.sml | 206 let fun filt (LEAF L) = LEAF(List.filter (fn (x,y) => P y) L) function
|
| /seL4-l4v-master/HOL4/src/0/ |
| H A D | Net.sml | 209 let fun filt (LEAF L) = LEAF(List.filter (fn (x,y) => P y) L) function
|
Completed in 108 milliseconds