N - org.sireum.logika.math.N

Abstract Value Members

abstract def compareTo(arg0: N): Int

Definition Classes
Comparable
abstract def toZ: Z

Definition Classes
LogikaIntegralNumber

Concrete Value Members

final def !=(arg0: Any): Boolean

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

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

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

Definition Classes
AnyRef → Any
final def >(other: N): B
final def >=(other: N): 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
N → ScalaNumericAnyConversions → Number
def ensuring(cond: (N) ⇒ Boolean, msg: ⇒ Any): N

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

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

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

Implicit information
This member is added by an implicit conversion from N to Ensuring[N] 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
N → ScalaNumericAnyConversions → Number
def formatted(fmtstr: String): String

Implicit information
This member is added by an implicit conversion from N to StringFormat[N] 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
N → 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
N → ScalaNumericAnyConversions → ScalaNumber
final def longValue(): Long

Definition Classes
N → 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
final def toApint: Apint

Definition Classes
N → LogikaIntegralNumber
final def toBigInt: BigInt

Definition Classes
N → LogikaIntegralNumber
final def toBigInteger: BigInteger

Definition Classes
N → LogikaIntegralNumber
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
final def toString(): String

Definition Classes
N → 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 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
N → 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): (N, B)

Implicit information
This member is added by an implicit conversion from N to ArrowAssoc[N] 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 N to any2stringadd[N] 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:
(n: any2stringadd[N]).+(other)
Definition Classes
any2stringadd

N

Related Docs: object N | package math

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

Abstract Value Members

abstract def compareTo(arg0: N): Int

abstract def toZ: Z

Concrete Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def %(other: N): N

final def *(other: N): N

final def +(other: N): N

final def -(other: N): N

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

final def /(other: N): N

final def <(other: N): B

final def <=(other: N): B

final def ==(arg0: Any): Boolean

final def >(other: N): B

final def >=(other: N): B

final def asInstanceOf[T0]: T0

def byteValue(): Byte

def clone(): AnyRef

final def doubleValue(): Double

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

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

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

def ensuring(cond: Boolean): N

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

final def toApint: Apint

final def toBigInt: BigInt

final def toBigInteger: BigInteger

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

final def toS16: S16

final def toS32: S32

final def toS64: S64

final def toS8: S8

def toShort: Short

final def toString(): String

final def toU16: U16

final def toU32: U32

final def toU64: U64

final def toU8: U8

final def toZ16: Z16

final def toZ32: Z32

final def toZ64: Z64

final def toZ8: Z8

final def underlying(): BigInteger

def unifiedPrimitiveEquals(x: Any): Boolean

def unifiedPrimitiveHashcode(): Int

final def wait(): Unit