26 |
| tyToString (VecTy 0) = "real" |
| tyToString (VecTy 0) = "real" |
27 |
| tyToString (VecTy d) = "vec" ^ Int.toString d |
| tyToString (VecTy d) = "vec" ^ Int.toString d |
28 |
|
|
29 |
|
fun sameint (i1 : int, i2) = (i1 = i2) |
30 |
|
fun hashint i = Word.fromInt i |
31 |
|
fun intToString i = Int.toString i |
32 |
|
|
33 |
fun samestring (s1 : string, s2) = (s1 = s2) |
fun samestring (s1 : string, s2) = (s1 = s2) |
34 |
val hashstring = HashString.hashString |
val hashstring = HashString.hashString |
35 |
fun stringToString s = String.concat["\"", s, "\""] |
fun stringToString s = String.concat["\"", s, "\""] |
228 |
| toString CeilToInt = "CeilToInt" |
| toString CeilToInt = "CeilToInt" |
229 |
| toString FloorToInt = "FloorToInt" |
| toString FloorToInt = "FloorToInt" |
230 |
| toString (VoxelAddress(a0)) = concat["VoxelAddress<", ImageInfo.toString a0, ">"] |
| toString (VoxelAddress(a0)) = concat["VoxelAddress<", ImageInfo.toString a0, ">"] |
231 |
| toString (LoadVoxels(a0,a1)) = concat["LoadVoxels<", RawTypes.toString a0",", intToString a0, ">"] |
| toString (LoadVoxels(a0,a1)) = concat["LoadVoxels<", RawTypes.toString a0, ",", intToString a1, ">"] |
232 |
| toString (Transform(a0)) = concat["Transform<", ImageInfo.toString a0, ">"] |
| toString (Transform(a0)) = concat["Transform<", ImageInfo.toString a0, ">"] |
233 |
| toString (EvalKernel(a0,a1,a2)) = concat["EvalKernel<", intToString a0",", Kernel.toString a0",", intToString a0, ">"] |
| toString (EvalKernel(a0,a1,a2)) = concat["EvalKernel<", intToString a0, ",", Kernel.toString a1, ",", intToString a2, ">"] |
234 |
| toString (LoadImage(a0)) = concat["LoadImage<", ImageInfo.toString a0, ">"] |
| toString (LoadImage(a0)) = concat["LoadImage<", ImageInfo.toString a0, ">"] |
235 |
| toString Inside = "Inside" |
| toString Inside = "Inside" |
236 |
| toString (Input(a0)) = concat["Input<", stringToString a0, ">"] |
| toString (Input(a0)) = concat["Input<", stringToString a0, ">"] |