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 = sireum.B
  2. type BS = MS[Z, B]
  3. type F32 = sireum.F32
  4. type F32S = MS[Z, F32]
  5. type F64 = sireum.F64
  6. type F64S = MS[Z, F64]
  7. type N = sireum.N
  8. type N16 = sireum.N16
  9. type N16S = MS[Z, N16]
  10. type N32 = sireum.N32
  11. type N32S = MS[Z, N32]
  12. type N64 = sireum.N64
  13. type N64S = MS[Z, N64]
  14. type N8 = sireum.N8
  15. type N8S = MS[Z, N8]
  16. type NS = MS[Z, N]
  17. type R = sireum.R
  18. type RS = MS[Z, R]
  19. type S16 = sireum.S16
  20. type S16S = MS[Z, S16]
  21. type S32 = sireum.S32
  22. type S32S = MS[Z, S32]
  23. type S64 = sireum.S64
  24. type S64S = MS[Z, S64]
  25. type S8 = sireum.S8
  26. type S8S = MS[Z, S8]
  27. type U16 = sireum.U16
  28. type U16S = MS[Z, U16]
  29. type U32 = sireum.U32
  30. type U32S = MS[Z, U32]
  31. type U64 = sireum.U64
  32. type U64S = MS[Z, U64]
  33. type U8 = sireum.U8
  34. type U8S = MS[Z, U8]
  35. type Z = sireum.Z
  36. type Z16 = sireum.Z16
  37. type Z16S = MS[Z, Z16]
  38. type Z32 = sireum.Z32
  39. type Z32S = MS[Z, Z32]
  40. type Z64 = sireum.Z64
  41. type Z64S = MS[Z, Z64]
  42. type Z8 = sireum.Z8
  43. type Z8S = MS[Z, Z8]
  44. type ZS = MS[Z, Z]
  45. implicit final class _MSClone[I, V] extends AnyVal
  46. implicit final class _Slang extends AnyVal
  47. type helper = sireum.helper
  48. type pure = sireum.pure

Value Members

  1. val F: B
  2. final def String(s: scala.Predef.String): String
  3. val T: B
  4. final def Z(n: BigInt): Z
  5. final def Z(n: Long): Z
  6. final def Z(n: Int): Z
  7. val ZS: sireum.ZS.type
  8. val helper: sireum.helper.type
  9. final def print(as: Any*): Unit
  10. final def println(as: Any*): Unit
  11. final def randomInt(): Z
  12. final def readInt(msg: String = "Enter an integer: "): Z
  13. object BS
  14. object F32S
  15. object F64S
  16. object N16S
  17. object N32S
  18. object N64S
  19. object N8S
  20. object NS
  21. object RS
  22. object S16S
  23. object S32S
  24. object S64S
  25. object S8S
  26. object U16S
  27. object U32S
  28. object U64S
  29. object U8S
  30. object Z16S
  31. object Z32S
  32. object Z64S
  33. object Z8S

Inherited from AnyRef

Inherited from Any

Ungrouped