Searched defs:nd (Results 1 - 13 of 13) sorted by relevance

/seL4-l4v-master/isabelle/lib/browser/GraphBrowser/
H A DDirectory.java10 public Directory(TreeNode nd,String n,Vector col) { argument
H A DTreeBrowser.java72 public void selectNode(TreeNode nd) { argument
/seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/
H A DDirectory.java10 public Directory(TreeNode nd,String n,Vector col) { argument
H A DTreeBrowser.java72 public void selectNode(TreeNode nd) { argument
/seL4-l4v-master/HOL4/examples/dev/sw/
H A DCFG.sml206 let val (nd,nextL) = Graph.fwd (n,cfg); value
H A DregAllocation.sml303 val nd = getNodeLab nodeNo; value
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.1/
H A DCFG.sml207 let val (nd,nextL) = Graph.fwd (n,cfg); value
H A DregAllocation.sml303 val nd = getNodeLab nodeNo; value
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.2/
H A DCFG.sml207 let val (nd,nextL) = Graph.fwd (n,cfg); value
H A DregAllocation.sml303 val nd = getNodeLab nodeNo; value
/seL4-l4v-master/HOL4/src/n-bit/
H A DblastLib.sml101 val nd = Drule.CONJUNCTS numeralTheory.numeral_distrib value
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Drealconv.cpp544 BCinfo { int dp0, dp1, dplen, dsign, e0, inexact, nd, nd0, rounding, scale, uflchk; }; member in struct:BCinfo
729 (s, nd0, nd, y9, dplen) CONST char *s; int nd0, nd, dplen; ULong y9; variable
2360 int b2, bbits, d2, dd, dig, dsign, i, j, nd, nd0, p2, p5, speccase; variable
2568 int esign, i, j, k, nd, nd0, nf, nz, nz0, nz1, sign; variable
[all...]
/seL4-l4v-master/HOL4/examples/l3-machine-code/common/
H A DstateLib.sml302 val (nd, dn) = value

Completed in 207 milliseconds