Packages

class Const extends Expression

Constant expression holding a double value.

Linear Supertypes
Expression, LazyLogging, AnyRef, Any
Known Subclasses
One, Zero
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Const
  2. Expression
  3. LazyLogging
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new Const(value: Double)

    value

    the value held by the constraint

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. def *(other: Expression): Expression
    Definition Classes
    Const → Expression
  4. def *(term: Term): Term
  5. def *(x: Var): Term
  6. def *(other: Const): Const
  7. def +(other: Const): Const
  8. def +(that: Expression): Expression
    Definition Classes
    Expression
  9. def -(other: Const): Const
  10. def -(that: Expression): Expression
    Definition Classes
    Expression
  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. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  30. val terms: LongDoubleMap
    Definition Classes
    Expression
  31. def toString(): String
    Definition Classes
    Const → Expression → AnyRef → Any
  32. def unary_-(): Expression
    Definition Classes
    Const → Expression
  33. val value: Double
  34. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  35. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  36. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()

Inherited from Expression

Inherited from LazyLogging

Inherited from AnyRef

Inherited from Any

Ungrouped