Value Members

1.  final def !=(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

2.  final def ##: Int

   Definition Classes

   AnyRef → Any

3.  def *(expression: Expression): Expression

   Definition Classes

   Zero → Const → Expression

4.  def *(term: Term): Term

   Definition Classes

   Const

5.  def *(x: Var): Term

   Definition Classes

   Const

6.  def *(other: Const): Const

   Definition Classes

   Const

7.  def +(expression: Expression): Expression

   Definition Classes

   Zero → Expression

8.  def +(other: Const): Const

   Definition Classes

   Const

9.  def -(expression: Expression): Expression

   Definition Classes

   Zero → Expression

10.  def -(other: Const): Const

    Definition Classes

    Const

11.  def :=(that: Expression): Constraint

    Definition Classes

    Expression

12.  def <:=(that: Expression): Constraint

    Definition Classes

    Expression

13.  final def ==(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

14.  def >:=(that: Expression): Constraint

    Definition Classes

    Expression

15.  final def asInstanceOf[T0]: T0

    Definition Classes

    Any

16.  def clone(): AnyRef

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

    @throws(classOf[java.lang.CloneNotSupportedException]) @native()

17.  val constant: Double

    Definition Classes

    Const → Expression

18.  final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

19.  def equals(obj: Any): Boolean
    obj

    an object to compare

    returns

    true only in case the object is a constant and has identical value

    Definition Classes

    Const → Expression → AnyRef → Any

20.  def finalize(): Unit

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

    @throws(classOf[java.lang.Throwable])

21.  final def getClass(): Class[_ <: AnyRef]

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

22.  def getOrder: ExpressionType

    Definition Classes

    Expression

23.  def hashCode(): Int
    returns

    the hash code of the boxed double value

    Definition Classes

    Const → AnyRef → Any

24.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

25.  lazy val logger: Logger

    Attributes

    protected

    Definition Classes

    LazyLogging

    Annotations

    @transient()

26.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

27.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

28.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

29.  def productElementName(n: Int): String

    Definition Classes

    Product

30.  def productElementNames: Iterator[String]

    Definition Classes

    Product

31.  final def synchronized[T0](arg0: => T0): T0

    Definition Classes

    AnyRef

32.  val terms: LongDoubleMap

    Definition Classes

    Expression

33.  def toString(): String

    Definition Classes

    Const → Expression → AnyRef → Any

34.  def unary_-(): Expression

    Definition Classes

    Zero → Const → Expression

35.  val value: Double

    Definition Classes

    Const

36.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws(classOf[java.lang.InterruptedException])

37.  final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws(classOf[java.lang.InterruptedException])

38.  final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws(classOf[java.lang.InterruptedException]) @native()