Searched refs:prevs (Results 1 - 6 of 6) sorted by relevance
/seL4-l4v-master/isabelle/src/Pure/General/ |
H A D | linear_set.scala | 32 start: Option[A], end: Option[A], val nexts: Map[A, A], prevs: Map[A, A]) 47 if (contains(elem)) prevs.get(elem) 65 nexts + (elem -> elem1), prevs + (elem1 -> elem)) 73 nexts + (elem1 -> elem), prevs + (elem -> elem1)) 77 prevs + (elem2 -> elem) + (elem -> elem1)) 95 new Linear_Set[A](Some(elem2), end, nexts - elem1, prevs - elem2) 106 new Linear_Set[A](start, Some(elem1), nexts - elem1, prevs - elem2) 110 prevs - elem2 + (elem3 -> elem1)) 152 def reverse: Linear_Set[A] = new Linear_Set(end, start, prevs, nexts)
|
/seL4-l4v-master/l4v/isabelle/src/Pure/General/ |
H A D | linear_set.scala | 32 start: Option[A], end: Option[A], val nexts: Map[A, A], prevs: Map[A, A]) 47 if (contains(elem)) prevs.get(elem) 65 nexts + (elem -> elem1), prevs + (elem1 -> elem)) 73 nexts + (elem1 -> elem), prevs + (elem -> elem1)) 77 prevs + (elem2 -> elem) + (elem -> elem1)) 95 new Linear_Set[A](Some(elem2), end, nexts - elem1, prevs - elem2) 106 new Linear_Set[A](start, Some(elem1), nexts - elem1, prevs - elem2) 110 prevs - elem2 + (elem3 -> elem1)) 152 def reverse: Linear_Set[A] = new Linear_Set(end, start, prevs, nexts)
|
/seL4-l4v-master/HOL4/src/simp/src/ |
H A D | Cache.sml | 42 val prevs = Redblackmap.find (cvalue cache, tm) value 48 (case snd (first ok prevs) of 60 c_insert cache (tm, (curr,NONE)::prevs); 64 c_insert cache (tm,(curr,SOME thm)::prevs); 284 val prevs = Redblackmap.find (cvalue cache, t) handle NotFound => [] value 289 case List.find oksome prevs of 337 case List.find oknone prevs of 354 c_insert cache (t, (glhyps,SOME th)::prevs); 363 c_insert cache (t, (glhyps, NONE)::prevs);
|
/seL4-l4v-master/graph-refine/ |
H A D | rep_graph.py | 390 prevs = self.prevs (n_vc) 392 prevs = [p for p in prevs 399 if not prevs: 401 n_vc = prevs[0] 574 prevs = [n_vc for n_vc in self.prevs (n_vc2) 576 assert len (prevs) <= 1 578 for n_vc in prevs] 1019 def prevs (self, (n, vcount)): member in class:GraphSlice [all...] |
H A D | trace_refute.py | 633 prevs = [arg[5:] for arg in args if arg.startswith ('prev:')] variable 654 (new, _) = refute (args[0], args[1], prevs,
|
H A D | stack_logic.py | 864 prevs = set ([f for f in functions 866 for f in prevs - group:
|
Completed in 100 milliseconds