Class

galileo.expr

Derivative

Related Doc: package expr

Permalink

case class Derivative(y: Expr, x: Expr) extends Expr with scala.Product with Serializable

Linear Supertypes
Serializable, Serializable, scala.Product, Equals, Expr, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Derivative
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. Expr
  7. AnyRef
  8. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Derivative(y: Expr, x: Expr)

    Permalink

Value Members

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

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. def +(that: Expr): Expr

    Permalink
    Definition Classes
    Expr

  4. def -(that: Expr): Sum

    Permalink
    Definition Classes
    Expr

  5. def <(that: Expr): Boolean

    Permalink
    Definition Classes
    Expr

  6. def <(d: Double): Boolean

    Permalink
    Definition Classes
    Expr

  7. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  8. def >(d: Double): Boolean

    Permalink
    Definition Classes
    Expr

  9. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  10. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  11. def denominatorToString(): String

    Permalink
    Definition Classes
    Expr

  12. def derive(v: Variable): Expr

    Permalink
    Definition Classes
    Expr

  13. val doubleValue: Double

    Permalink
    Definition Classes
    Expr

  14. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  15. def eval(): Expr

    Permalink
    Definition Classes
    Expr

  16. def expand: Expr

    Permalink
    Definition Classes
    Expr

  17. def extractFactor(e: Expr): Option[Expr]

    Permalink
    Definition Classes
    Expr

  18. def factor: Expr

    Permalink
    Definition Classes
    Expr

  19. def factorToString(): String

    Permalink
    Definition Classes
    Expr

  20. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  21. def flatFactors: List[Expr]

    Permalink
    Definition Classes
    Expr

  22. def flatTerms: List[Expr]

    Permalink
    Definition Classes
    Expr

  23. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  24. def info(env: Option[Environment] = None): String

    Permalink
    Definition Classes
    Derivative → Expr

  25. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  26. def leadingVariable: Option[String]

    Permalink
    Definition Classes
    Expr

  27. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  28. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  29. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  30. def possibleFactors: List[Expr]

    Permalink
    Definition Classes
    Expr

  31. def simplify: Expr

    Permalink
    Definition Classes
    Expr

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

    Permalink
    Definition Classes
    AnyRef

  33. def toString(): String

    Permalink
    Definition Classes
    Derivative → Expr → AnyRef → Any

  34. def toStringWithSign(): String

    Permalink
    Definition Classes
    Expr

  35. def unary_-(): Expr

    Permalink
    Definition Classes
    Expr

  36. def variables: List[Variable]

    Permalink
    Definition Classes
    Derivative → Expr

  37. def visit(env: Option[Environment]): Expr

    Permalink
    Definition Classes
    Derivative → Expr

  38. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  40. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  41. val x: Expr

    Permalink

  42. val y: Expr

    Permalink

Inherited from Serializable

Inherited from Serializable

Inherited from scala.Product

Inherited from Equals

Inherited from Expr

Inherited from AnyRef

Inherited from Any

Ungrouped