Z - org.sireum.logika.math.Z

Abstract Value Members

abstract def %(other: Z): Z
abstract def *(other: Z): Z
abstract def +(other: Z): Z
abstract def -(other: Z): Z
abstract def /(other: Z): Z
abstract def <(other: Z): B
abstract def <=(other: Z): B
abstract def >(other: Z): B
abstract def >=(other: Z): B
abstract def compareTo(arg0: Z): Int

Definition Classes
Comparable
abstract def toApint: Apint

Definition Classes
LogikaIntegralNumber
abstract def toBigInt: BigInt

Definition Classes
LogikaIntegralNumber
abstract def toBigInteger: BigInteger

Definition Classes
LogikaIntegralNumber
abstract def unary_-: Z

Concrete Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def %(other: Long): Z
final def %(other: Int): Z
final def *(other: Long): Z
final def *(other: Int): Z
final def +(other: Long): Z
final def +(other: Int): Z
final def -(other: Long): Z
final def -(other: Int): Z
def ->[B](y: B): (Z, B)

Implicit information
This member is added by an implicit conversion from Z to ArrowAssoc[Z] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@inline()
final def /(other: Long): Z
final def /(other: Int): Z
final def <(other: Long): B
final def <(other: Int): B
final def <=(other: Long): B
final def <=(other: Int): B
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def >(other: Long): B
final def >(other: Int): B
final def >=(other: Long): B
final def >=(other: Int): B
final def asInstanceOf[T0]: T0

Definition Classes
Any
def byteValue(): Byte

Definition Classes
Number
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def doubleValue(): Double

Definition Classes
Z → ScalaNumericAnyConversions → Number
def ensuring(cond: (Z) ⇒ Boolean, msg: ⇒ Any): Z

Implicit information
This member is added by an implicit conversion from Z to Ensuring[Z] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: (Z) ⇒ Boolean): Z

Implicit information
This member is added by an implicit conversion from Z to Ensuring[Z] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean, msg: ⇒ Any): Z

Implicit information
This member is added by an implicit conversion from Z to Ensuring[Z] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean): Z

Implicit information
This member is added by an implicit conversion from Z to Ensuring[Z] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def floatValue(): Float

Definition Classes
Z → ScalaNumericAnyConversions → Number
def formatted(fmtstr: String): String

Implicit information
This member is added by an implicit conversion from Z to StringFormat[Z] performed by method StringFormat in scala.Predef.
Definition Classes
StringFormat
Annotations
@inline()
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def intValue(): Int

Definition Classes
Z → ScalaNumericAnyConversions → Number
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def isValidByte: Boolean

Definition Classes
ScalaNumericAnyConversions
def isValidChar: Boolean

Definition Classes
ScalaNumericAnyConversions
def isValidInt: Boolean

Definition Classes
ScalaNumericAnyConversions
def isValidShort: Boolean

Definition Classes
ScalaNumericAnyConversions
final def isWhole(): Boolean

Definition Classes
Z → ScalaNumericAnyConversions → ScalaNumber
final def longValue(): Long

Definition Classes
Z → ScalaNumericAnyConversions → Number
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def shortValue(): Short

Definition Classes
Number
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toByte: Byte

Definition Classes
ScalaNumericAnyConversions
def toChar: Char

Definition Classes
ScalaNumericAnyConversions
def toDouble: Double

Definition Classes
ScalaNumericAnyConversions
def toFloat: Float

Definition Classes
ScalaNumericAnyConversions
def toInt: Int

Definition Classes
ScalaNumericAnyConversions
def toLong: Long

Definition Classes
ScalaNumericAnyConversions
final def toN: N

Definition Classes
LogikaIntegralNumber
final def toN16: N16

Definition Classes
LogikaIntegralNumber
final def toN32: N32

Definition Classes
LogikaIntegralNumber
final def toN64: N64

Definition Classes
LogikaIntegralNumber
final def toN8: N8

Definition Classes
LogikaIntegralNumber
final def toS16: S16

Definition Classes
LogikaIntegralNumber
final def toS32: S32

Definition Classes
LogikaIntegralNumber
final def toS64: S64

Definition Classes
LogikaIntegralNumber
final def toS8: S8

Definition Classes
LogikaIntegralNumber
def toShort: Short

Definition Classes
ScalaNumericAnyConversions
def toString(): String

Definition Classes
AnyRef → Any
final def toU16: U16

Definition Classes
LogikaIntegralNumber
final def toU32: U32

Definition Classes
LogikaIntegralNumber
final def toU64: U64

Definition Classes
LogikaIntegralNumber
final def toU8: U8

Definition Classes
LogikaIntegralNumber
final def toZ: Z

Definition Classes
Z → LogikaIntegralNumber
final def toZ16: Z16

Definition Classes
LogikaIntegralNumber
final def toZ32: Z32

Definition Classes
LogikaIntegralNumber
final def toZ64: Z64

Definition Classes
LogikaIntegralNumber
final def toZ8: Z8

Definition Classes
LogikaIntegralNumber
final def underlying(): BigInteger

Definition Classes
Z → ScalaNumericConversions → ScalaNumericAnyConversions → ScalaNumber
def unifiedPrimitiveEquals(x: Any): Boolean

Attributes
protected
Definition Classes
ScalaNumericAnyConversions
def unifiedPrimitiveHashcode(): Int

Attributes
protected
Definition Classes
ScalaNumericAnyConversions
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
def →[B](y: B): (Z, B)

Implicit information
This member is added by an implicit conversion from Z to ArrowAssoc[Z] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc

Shadowed Implicit Value Members

def +(other: String): String
Implicit information
This member is added by an implicit conversion from Z to any2stringadd[Z] performed by method any2stringadd in scala.Predef.
Shadowing
This implicitly inherited member is shadowed by one or more members in this class.
To access this member you can use a type ascription:
(z: any2stringadd[Z]).+(other)
Definition Classes
any2stringadd

Z

Related Docs: object Z | package math

sealed trait Z extends ScalaNumber with ScalaNumericConversions with Comparable[Z] with LogikaIntegralNumber

Abstract Value Members

abstract def %(other: Z): Z

abstract def *(other: Z): Z

abstract def +(other: Z): Z

abstract def -(other: Z): Z

abstract def /(other: Z): Z

abstract def <(other: Z): B

abstract def <=(other: Z): B

abstract def >(other: Z): B

abstract def >=(other: Z): B

abstract def compareTo(arg0: Z): Int

abstract def toApint: Apint

abstract def toBigInt: BigInt

abstract def toBigInteger: BigInteger

abstract def unary_-: Z

Concrete Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def %(other: Long): Z

final def %(other: Int): Z

final def *(other: Long): Z

final def *(other: Int): Z

final def +(other: Long): Z

final def +(other: Int): Z

final def -(other: Long): Z

final def -(other: Int): Z

def ->[B](y: B): (Z, B)

final def /(other: Long): Z

final def /(other: Int): Z

final def <(other: Long): B

final def <(other: Int): B

final def <=(other: Long): B

final def <=(other: Int): B

final def ==(arg0: Any): Boolean

final def >(other: Long): B

final def >(other: Int): B

final def >=(other: Long): B

final def >=(other: Int): B

final def asInstanceOf[T0]: T0

def byteValue(): Byte

def clone(): AnyRef

final def doubleValue(): Double

def ensuring(cond: (Z) ⇒ Boolean, msg: ⇒ Any): Z

def ensuring(cond: (Z) ⇒ Boolean): Z

def ensuring(cond: Boolean, msg: ⇒ Any): Z

def ensuring(cond: Boolean): Z

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def floatValue(): Float

def formatted(fmtstr: String): String

final def getClass(): Class[_]

def hashCode(): Int

final def intValue(): Int

final def isInstanceOf[T0]: Boolean

def isValidByte: Boolean

def isValidChar: Boolean

def isValidInt: Boolean

def isValidShort: Boolean

final def isWhole(): Boolean

final def longValue(): Long

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def shortValue(): Short

final def synchronized[T0](arg0: ⇒ T0): T0

def toByte: Byte

def toChar: Char

def toDouble: Double

def toFloat: Float

def toInt: Int

def toLong: Long

final def toN: N

final def toN16: N16

final def toN32: N32

final def toN64: N64

final def toN8: N8