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
implicit final
class
Logika
extends
AnyVal
type
Z
=
logika.math.Z
type
ZS
=
logika.collection.ZS
final
class
helper
extends
Annotation
Value Members
final
val
F
: Boolean(false)
final
val
T
: Boolean(true)
final
def
Z
(
s:
String
)
:
Z
final
def
ZS
(
args:
Z
*
)
:
ZS
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