Searched refs:getInt (Results 1 - 25 of 33) sorted by relevance

12

/seL4-l4v-master/HOL4/examples/dev/sw/
H A DTable.sml17 val getInt: key -> int) : TABLE = value
24 fun enter(t,k,a) = Binarymap.insert(t,getInt k,a)
25 fun look(t,k) = Binarymap.find(t,getInt k)
26 fun peek(t,k) = Binarymap.peek(t,getInt k)
28 fun remove(t,k) = Binarymap.remove(t,getInt k)
H A DTemp.sml21 fun getInt n = n) function
H A DSymbol.sml42 fun getInt(s,n) = n) function
H A DdeclFuncs.sml15 structure T = IntMapTable(type key = int fun getInt n = n); function
H A DCFG.sml34 structure T = IntMapTable(type key = int fun getInt n = n); function
H A DIRSyntax.sml344 structure T = IntMapTable(type key = int fun getInt n = n); function
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.1/
H A DTable.sml17 val getInt: key -> int) : TABLE = value
24 fun enter(t,k,a) = Binarymap.insert(t,getInt k,a)
25 fun look(t,k) = Binarymap.find(t,getInt k)
26 fun peek(t,k) = Binarymap.peek(t,getInt k)
28 fun remove(t,k) = Binarymap.remove(t,getInt k)
H A DTemp.sml21 fun getInt n = n) function
H A DSymbol.sml42 fun getInt(s,n) = n) function
H A DdeclFuncs.sml15 structure T = IntMapTable(type key = int fun getInt n = n); function
H A DCFG.sml34 structure T = IntMapTable(type key = int fun getInt n = n); function
H A DIR.sml126 structure T = IntMapTable(type key = int fun getInt n = n); function
H A DIRSyntax.sml336 structure T = IntMapTable(type key = int fun getInt n = n); function
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.2/util/
H A DTable.sml17 val getInt: key -> int) : TABLE = value
24 fun enter(t,k,a) = Binarymap.insert(t,getInt k,a)
25 fun look(t,k) = Binarymap.find(t,getInt k)
26 fun peek(t,k) = Binarymap.peek(t,getInt k)
28 fun remove(t,k) = Binarymap.remove(t,getInt k)
H A DTemp.sml19 fun getInt n = n) function
H A DSymbol.sml42 fun getInt(s,n) = n) function
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.2/
H A DSymbol.sml42 fun getInt(s,n) = n) function
H A DdeclFuncs.sml15 structure T = IntMapTable(type key = int fun getInt n = n); function
H A DCFG.sml34 structure T = IntMapTable(type key = int fun getInt n = n); function
H A DIR.sml126 structure T = IntMapTable(type key = int fun getInt n = n); function
H A DIRSyntax.sml336 structure T = IntMapTable(type key = int fun getInt n = n); function
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DFile.h138 static inline uint64 getInt (File& in) { return decode64(getUInt(in)); } function
/seL4-l4v-master/HOL4/polyml/basis/
H A DTopLevelPolyML.sml180 fun getInt termCh : FixedInt.int = function
201 val startPosition = getInt #","
203 val preludeLength = getInt #","
204 val sourceLength = getInt #","
221 val startOffset = getInt #","
222 val endOffset = getInt #","
241 val startOffset = getInt #","
242 val endOffset = getInt #"t"
255 val startOffset = getInt #","
256 val endOffset = getInt #","
[all...]
/seL4-l4v-master/HOL4/src/HolSat/
H A DdimacsTools.sml315 fun getInt get = Int.scan StringCvt.DEC get; function
324 val res = getInt get (valOf src'')
348 case getInt get src of
/seL4-l4v-master/isabelle/src/Pure/General/
H A Dsql.scala276 def int(column: Column): Int = rep.getInt(column.name)

Completed in 178 milliseconds

12