Product

Instance Constructors

new Product(a: Expression, b: Expression)

a
left hand side expression
b
right hand side expression

Value Members

final def !=(arg0: Any): Boolean

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

Definition Classes
AnyRef → Any
def *(that: Expression): Expression

Definition Classes
Expression
def +(that: Expression): Expression

Definition Classes
Expression
def -(that: Expression): Expression

Definition Classes
Expression
def :=(that: Expression): Constraint

Definition Classes
Expression
def <:=(that: Expression): Constraint

Definition Classes
Expression
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def >:=(that: Expression): Constraint

Definition Classes
Expression
val a: Expression

left hand side expression
left hand side expression

Definition Classes
Product → BinaryOp
final def asInstanceOf[T0]: T0

Definition Classes
Any
val b: Expression

right hand side expression
right hand side expression

Definition Classes
Product → BinaryOp
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
val constant: Double

Definition Classes
BinaryOp → Expression
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(obj: Any): Boolean

obj
an object to compare
returns
true in case this object has identical constant and terms as the obj argument; false otherwise.

Definition Classes
Expression → AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def getOrder: ExpressionType

Definition Classes
Expression
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
lazy val logger: Logger

Attributes
protected
Definition Classes
LazyLogging
def merge: LongDoubleMap

Attributes
protected
Definition Classes
Product → BinaryOp
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def op(x: Double, y: Double): Double

Attributes
protected
Definition Classes
Product → BinaryOp
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
val terms: LongDoubleMap

Definition Classes
BinaryOp → Expression
def toString(): String

Definition Classes
Expression → AnyRef → Any
def unary_-(): Expression

Definition Classes
Expression
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( ... )

Related Doc: package algebra

case class Product(a: Expression, b: Expression) extends BinaryOp with scala.Product with Serializable

Instance Constructors

new Product(a: Expression, b: Expression)

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

def *(that: Expression): Expression

def +(that: Expression): Expression

def -(that: Expression): Expression

def :=(that: Expression): Constraint

def <:=(that: Expression): Constraint

final def ==(arg0: Any): Boolean

def >:=(that: Expression): Constraint

val a: Expression

final def asInstanceOf[T0]: T0

val b: Expression

def clone(): AnyRef

val constant: Double

final def eq(arg0: AnyRef): Boolean

def equals(obj: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def getOrder: ExpressionType

final def isInstanceOf[T0]: Boolean

lazy val logger: Logger

def merge: LongDoubleMap

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def op(x: Double, y: Double): Double

final def synchronized[T0](arg0: ⇒ T0): T0

val terms: LongDoubleMap

def toString(): String

def unary_-(): Expression

final def wait(): Unit

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

final def wait(arg0: Long): Unit

Inherited from Serializable

Inherited from Serializable

Inherited from scala.Product

Inherited from Equals

Inherited from BinaryOp

Inherited from Expression

Inherited from LazyLogging

Inherited from AnyRef

Inherited from Any

Ungrouped