org
.
sireum
logika
package
logika
Linear Supertypes
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
logika
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Type Members
type
B
=
Boolean
type
BS
=
Value
type
F32
=
logika.math.F32.Value
type
F32S
=
Value
type
F64
=
logika.math.F64.Value
type
F64S
=
Value
implicit final
class
Logika
extends
AnyVal
type
N
=
logika.math.N
type
N16
=
logika.math.N16.Value
type
N16S
=
Value
type
N32
=
logika.math.N32.Value
type
N32S
=
Value
type
N64
=
logika.math.N64.Value
type
N64S
=
Value
type
N8
=
logika.math.N8.Value
type
N8S
=
Value
type
NS
=
Value
type
R
=
logika.math.R
type
RS
=
Value
type
S16
=
logika.math.S16.Value
type
S16S
=
Value
type
S32
=
logika.math.S32.Value
type
S32S
=
Value
type
S64
=
logika.math.S64.Value
type
S64S
=
Value
type
S8
=
logika.math.S8.Value
type
S8S
=
Value
type
U16
=
logika.math.U16.Value
type
U16S
=
Value
type
U32
=
logika.math.U32.Value
type
U32S
=
Value
type
U64
=
logika.math.U64.Value
type
U64S
=
Value
type
U8
=
logika.math.U8.Value
type
U8S
=
Value
type
Z
=
logika.math.Z
type
Z16
=
logika.math.Z16.Value
type
Z16S
=
Value
type
Z32
=
logika.math.Z32.Value
type
Z32S
=
Value
type
Z64
=
logika.math.Z64.Value
type
Z64S
=
Value
type
Z8
=
logika.math.Z8.Value
type
Z8S
=
Value
type
ZS
=
Value
final
class
helper
extends
Annotation
Value Members
final
val
F
: Boolean(false)
final
val
N
:
logika.math.N
.type
final
val
T
: Boolean(true)
final
val
Z
:
logika.math.Z
.type
implicit final
def
_Z
(
n:
Int
)
:
Z
object
_macro
package
collection
package
math
final
def
print
(
as:
Any
*
)
:
Unit
final
def
println
(
as:
Any
*
)
:
Unit
final
def
randomInt
()
:
Z
final
def
readInt
(
msg:
String
=
"Enter an integer: "
)
:
Z
Inherited from
AnyRef
Inherited from
Any
Ungrouped