Const

class Const(val value: Double) extends Expression

Constant expression holding a double value.

Value parameters:
value

the value held by the constraint

Companion:
object
trait LazyLogging
class Object
trait Matchable
class Any
object One.type
object Zero.type

Value members

Concrete methods

def *(other: Const): Const
def *(x: Var): Term
def *(term: Term): Term
override def *(other: Expression): Expression
Definition Classes
def +(other: Const): Const
def -(other: Const): Const
override def equals(obj: Any): Boolean
Value parameters:
obj

an object to compare

Returns:

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

Definition Classes
Expression -> Any
override def hashCode: Int
Returns:

the hash code of the boxed double value

Definition Classes
Any
override def toString: String
Definition Classes
Expression -> Any
override def unary_-: Expression
Definition Classes

Inherited methods

def +(that: Expression): Expression
Inherited from:
Expression
def -(that: Expression): Expression
Inherited from:
Expression
Inherited from:
Expression
Inherited from:
Expression
Inherited from:
Expression

Concrete fields

override val constant: Double
val value: Double

Inherited fields

@transient
lazy protected val logger: Logger
Inherited from:
LazyLogging
Inherited from:
Expression