Searched refs:collapsed (Results 1 - 9 of 9) sorted by relevance

/seL4-l4v-master/isabelle/lib/browser/GraphBrowser/
H A DDirectory.java8 Vector collapsed; field in class:Directory
11 collapsed=col;
20 public Vector getCollapsed() { return collapsed; }
H A DGraphView.java22 Vector collapsed = new Vector(10,10); field in class:GraphView
101 collapsed.removeElement(c);
107 /* are collapsed / uncollapsed by the user */
126 if (d.collapsed==c) {
132 collapsed.removeElement(c);
180 /* Create new graph with collapsed nodes */
184 Enumeration e1=collapsed.elements();
225 collapsed.insertElementAt(code,0);
243 collapsed.insertElementAt(code,0);
/seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/
H A DDirectory.java8 Vector collapsed; field in class:Directory
11 collapsed=col;
20 public Vector getCollapsed() { return collapsed; }
H A DGraphView.java22 Vector collapsed = new Vector(10,10); field in class:GraphView
101 collapsed.removeElement(c);
107 /* are collapsed / uncollapsed by the user */
126 if (d.collapsed==c) {
132 collapsed.removeElement(c);
180 /* Create new graph with collapsed nodes */
184 Enumeration e1=collapsed.elements();
225 collapsed.insertElementAt(code,0);
243 collapsed.insertElementAt(code,0);
/seL4-l4v-master/HOL4/src/0/
H A DSubst.sml39 * - shifts and lifts always collapsed (and non-zero)
/seL4-l4v-master/HOL4/examples/unification/triangular/first-order/
H A DcollapseScript.sml8 * relationship to directly applying a collapsed substitution proved here is
/seL4-l4v-master/HOL4/polyml/basis/
H A DOS.sml544 val collapsed = collapse arcs value
552 if isAbs then removeLeadingParent collapsed else collapsed
/seL4-l4v-master/HOL4/src/IndDef/
H A DIndDefRules.sml80 where newform is both beta-collapsed, and has unnecessary conclusion terms
/seL4-l4v-master/HOL4/examples/HolCheck/
H A DcearTools.sml787 (* so far the res tells us that the collapsed (i.e. propositional subterms folded into single AP's ) property holds in the concrete ks*)
788 (* now prove that non-collapsed property holds as well (since that is what the user should see) *)

Completed in 111 milliseconds