Packages

p

org.sireum

logika

package logika

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. logika
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type B = Boolean
  2. type BS = Value
  3. type F32 = logika.math.F32.Value
  4. type F32S = Value
  5. type F64 = logika.math.F64.Value
  6. type F64S = Value
  7. implicit final class Logika extends AnyVal
  8. type N = logika.math.N
  9. type N16 = logika.math.N16.Value
  10. type N16S = Value
  11. type N32 = logika.math.N32.Value
  12. type N32S = Value
  13. type N64 = logika.math.N64.Value
  14. type N64S = Value
  15. type N8 = logika.math.N8.Value
  16. type N8S = Value
  17. type NS = Value
  18. type R = logika.math.R
  19. type RS = Value
  20. type S16 = logika.math.S16.Value
  21. type S16S = Value
  22. type S32 = logika.math.S32.Value
  23. type S32S = Value
  24. type S64 = logika.math.S64.Value
  25. type S64S = Value
  26. type S8 = logika.math.S8.Value
  27. type S8S = Value
  28. type U16 = logika.math.U16.Value
  29. type U16S = Value
  30. type U32 = logika.math.U32.Value
  31. type U32S = Value
  32. type U64 = logika.math.U64.Value
  33. type U64S = Value
  34. type U8 = logika.math.U8.Value
  35. type U8S = Value
  36. type Z = logika.math.Z
  37. type Z16 = logika.math.Z16.Value
  38. type Z16S = Value
  39. type Z32 = logika.math.Z32.Value
  40. type Z32S = Value
  41. type Z64 = logika.math.Z64.Value
  42. type Z64S = Value
  43. type Z8 = logika.math.Z8.Value
  44. type Z8S = Value
  45. type ZS = Value
  46. final class helper extends Annotation

Value Members

  1. final val BS: logika.collection.BS.type
  2. final val F: Boolean(false)
  3. final val F32: logika.math.F32.type
  4. final val F32S: logika.collection.F32S.type
  5. final val F64: logika.math.F64.type
  6. final val F64S: logika.collection.F64S.type
  7. final val N: logika.math.N.type
  8. final val N16: logika.math.N16.type
  9. final val N16S: logika.collection.N16S.type
  10. final val N32: logika.math.N32.type
  11. final val N32S: logika.collection.N32S.type
  12. final val N64: logika.math.N64.type
  13. final val N64S: logika.collection.N64S.type
  14. final val N8: logika.math.N8.type
  15. final val N8S: logika.collection.N8S.type
  16. final val NS: logika.collection.NS.type
  17. final val R: logika.math.R.type
  18. final val RS: logika.collection.RS.type
  19. final val S16: logika.math.S16.type
  20. final val S16S: logika.collection.S16S.type
  21. final val S32: logika.math.S32.type
  22. final val S32S: logika.collection.S32S.type
  23. final val S64: logika.math.S64.type
  24. final val S64S: logika.collection.S64S.type
  25. final val S8: logika.math.S8.type
  26. final val S8S: logika.collection.S8S.type
  27. final val T: Boolean(true)
  28. final val U16: logika.math.U16.type
  29. final val U16S: logika.collection.U16S.type
  30. final val U32: logika.math.U32.type
  31. final val U32S: logika.collection.U32S.type
  32. final val U64: logika.math.U64.type
  33. final val U64S: logika.collection.U64S.type
  34. final val U8: logika.math.U8.type
  35. final val U8S: logika.collection.U8S.type
  36. final val Z: logika.math.Z.type
  37. final val Z16: logika.math.Z16.type
  38. final val Z16S: logika.collection.Z16S.type
  39. final val Z32: logika.math.Z32.type
  40. final val Z32S: logika.collection.Z32S.type
  41. final val Z64: logika.math.Z64.type
  42. final val Z64S: logika.collection.Z64S.type
  43. final val Z8: logika.math.Z8.type
  44. final val Z8S: logika.collection.Z8S.type
  45. final val ZS: logika.collection.ZS.type
  46. implicit final def _Z(n: Int): Z
  47. final def print(as: Any*): Unit
  48. final def println(as: Any*): Unit
  49. final def randomInt(): Z
  50. final def readInt(msg: String = "Enter an integer: "): Z
  51. object B
  52. object _macro

Inherited from AnyRef

Inherited from Any

Ungrouped