Packages

  • package root
    Definition Classes
    root
  • package sigma

    The following implicit values are used as type descriptors of all the predefined Sigma types.

    The following implicit values are used as type descriptors of all the predefined Sigma types.

    Definition Classes
    root
    See also

    RType class

  • package data

    Contains cores definitions which serves as a basis for sigma package implementations.

    Contains cores definitions which serves as a basis for sigma package implementations.

    Definition Classes
    sigma
  • package impl
    Definition Classes
    sigma
  • package kiama

    Kiama is a Scala library for language processing.

    Kiama is a Scala library for language processing. It is a project of the Programming Languages Research Group at Macquarie University. For full project details see the web site http://github.com/inkytonik/kiama.

    Kiama's main components address tree decoration via attribute grammars (package attribution), tree transformation via strategic term rewriting (package rewriting), dynamic semantics (package machine) and pretty-printing (package output).

    The util package contains support modules for parsing, input/output, read-eval-print loops (REPLs) and pattern matching.

    The examples package (available as part of the Kiama tests) contains many examples of using Kiama to solve small to medium language processing problems.

    Definition Classes
    sigma
  • package reflection

    Contains the Sigma Reflection API.

    Contains the Sigma Reflection API. Sigma reflection is a mechanism for obtaining metadata about classes, methods, fields, etc. at runtime. It is used by kiama to rewrite ErgoTree expressions. It is also used by the ErgoTree interpreter to implement MethodCall nodes.

    The Sigma Reflection API has two implementations: 1) based on the Java Reflection API 2) based on Sigma Reflection metadata declared in the StaticImpl.scala file

    Definition Classes
    sigma
  • package util
    Definition Classes
    sigma
  • package wrappers
    Definition Classes
    sigma
  • AnyValue
  • AvlTree
  • BigInt
  • Box
  • Coll
  • CollBuilder
  • Colls
  • CollsModule
  • Context
  • Environment
  • Extensions
  • GroupElement
  • Header
  • PairColl
  • PreHeader
  • RuntimePlatform
  • SigmaContract
  • SigmaDsl
  • SigmaDslBuilder
  • SigmaDslModule
  • SigmaProp
  • VersionContext
t

sigma

BigInt

trait BigInt extends AnyRef

All modQ operations assume that Q is a global constant (an order of the only one cryptographically strong group which is used for all cryptographic operations). So it is globally and implicitly used in all methods.

Linear Supertypes
AnyRef, Any
Known Subclasses
CBigInt
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. BigInt
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def add(that: BigInt): BigInt

    Returns a BigInt whose value is (this + that).

    Returns a BigInt whose value is (this + that).

    that

    value to be added to this BigInt.

    returns

    { @code this + that}

  2. abstract def and(that: BigInt): BigInt

    Returns a BigInteger whose value is (this & that).

    Returns a BigInteger whose value is (this & that). (This method returns a negative BigInteger if and only if this and that are both negative.)

    that

    value to be AND'ed with this BigInteger.

    returns

    this & that

  3. abstract def compareTo(that: BigInt): Int

    Compares this numeric with that numeric for order.

    Compares this numeric with that numeric for order. Returns a negative integer, zero, or a positive integer as the this is less than, equal to, or greater than that.

  4. abstract def divide(that: BigInt): BigInt

    Returns a BigInt whose value is (this / that).

    Returns a BigInt whose value is (this / that).

    that

    value by which this BigInt is to be divided.

    returns

    { @code this / that}

    Exceptions thrown

    ArithmeticException if { @code that} is zero.

  5. abstract def inverseModQ: BigInt

    Multiply this number with other by module Q.

    Multiply this number with other by module Q.

    Since

    Mainnet

  6. abstract def max(that: BigInt): BigInt

    Returns the maximum of this BigInteger and val.

    Returns the maximum of this BigInteger and val.

    that

    value with which the maximum is to be computed.

    returns

    the BigInteger whose value is the greater of this and { @code val}. If they are equal, either may be returned.

  7. abstract def min(that: BigInt): BigInt

    Returns the minimum of this BigInteger and val.

    Returns the minimum of this BigInteger and val.

    that

    value with which the minimum is to be computed.

    returns

    the BigInteger whose value is the lesser of this BigInteger and { @code val}. If they are equal, either may be returned.

  8. abstract def minusModQ(other: BigInt): BigInt

    Subtracts this number with other by module Q.

    Subtracts this number with other by module Q.

    Since

    2.0

  9. abstract def mod(m: BigInt): BigInt

    Returns a BigInt whose value is (this mod m).

    Returns a BigInt whose value is (this mod m). This method differs from remainder in that it always returns a non-negative BigInteger.

    m

    the modulus.

    returns

    { @code this mod m}

    Exceptions thrown

    ArithmeticException { @code m} ≤ 0

    See also

    #remainder

  10. abstract def modQ: BigInt

    Returns this mod Q, i.e.

    Returns this mod Q, i.e. remainder of division by Q, where Q is an order of the cryprographic group.

    Since

    2.0

  11. abstract def multModQ(other: BigInt): BigInt

    Multiply this number with other by module Q.

    Multiply this number with other by module Q.

    Since

    2.0

  12. abstract def multiply(that: BigInt): BigInt

    Returns a BigInt whose value is (this * that).

    Returns a BigInt whose value is (this * that).

    that

    value to be multiplied by this BigInt.

    returns

    { @code this * that}

  13. abstract def negate(): BigInt

    Returns a BigInt whose value is (-this).

    Returns a BigInt whose value is (-this).

    returns

    { @code -this}

  14. abstract def or(that: BigInt): BigInt

    Returns a BigInteger whose value is (this | that).

    Returns a BigInteger whose value is (this | that). (This method returns a negative BigInteger if and only if either this or that is negative.)

    that

    value to be OR'ed with this BigInteger.

    returns

    this | that

  15. abstract def plusModQ(other: BigInt): BigInt

    Adds this number with other by module Q.

    Adds this number with other by module Q.

    Since

    2.0

  16. abstract def remainder(that: BigInt): BigInt

    Returns a BigInt whose value is (this % that).

    Returns a BigInt whose value is (this % that).

    that

    value by which this BigInt is to be divided, and the remainder computed.

    returns

    { @code this % that}

    Exceptions thrown

    ArithmeticException if { @code that} is zero.

  17. abstract def signum: Int

    Returns the signum function of this BigInt.

    Returns the signum function of this BigInt.

    returns

    -1, 0 or 1 as the value of this BigInt is negative, zero or positive.

  18. abstract def subtract(that: BigInt): BigInt

    Returns a BigInt whose value is (this - that).

    Returns a BigInt whose value is (this - that).

    that

    value to be subtracted from this BigInt.

    returns

    { @code this - that}

  19. abstract def toAbs: BigInt

    Absolute value of this numeric value.

    Absolute value of this numeric value.

    Since

    2.0

  20. abstract def toBits: Coll[Boolean]

    Returns a big-endian representation of this BigInt in a collection of Booleans.

    Returns a big-endian representation of this BigInt in a collection of Booleans. Each boolean corresponds to one bit of the representation.

    Since

    2.0

  21. abstract def toByte: Byte

    Convert this BigInt value to Byte.

    Convert this BigInt value to Byte.

    Exceptions thrown

    ArithmeticException if overflow happens.

  22. abstract def toBytes: Coll[Byte]

    Returns a big-endian representation of this BigInt in a collection of bytes.

    Returns a big-endian representation of this BigInt in a collection of bytes. For example, the value 0x1213141516171819 would yield the byte array {0x12, 0x13, 0x14, 0x15, 0x16, 0x17, 0x18, 0x19}.

    Since

    2.0

  23. abstract def toInt: Int

    Convert this BigInt value to Int.

    Convert this BigInt value to Int.

    Exceptions thrown

    ArithmeticException if overflow happens.

  24. abstract def toLong: Long

    Convert this BigInt value to Int.

    Convert this BigInt value to Int.

    Exceptions thrown

    ArithmeticException if overflow happens.

  25. abstract def toShort: Short

    Convert this BigInt value to Short.

    Convert this BigInt value to Short.

    Exceptions thrown

    ArithmeticException if overflow happens.

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. def %(m: BigInt): BigInt
  4. def &(that: BigInt): BigInt
  5. def *(that: BigInt): BigInt
  6. def +(that: BigInt): BigInt
  7. def -(that: BigInt): BigInt
  8. def /(that: BigInt): BigInt
  9. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  10. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  11. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  12. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  13. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  14. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  15. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  16. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  17. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  18. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  19. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  20. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  21. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  22. def toString(): String
    Definition Classes
    AnyRef → Any
  23. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  24. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  25. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  26. def |(that: BigInt): BigInt

Inherited from AnyRef

Inherited from Any

Ungrouped