Packages

class EquationExporter extends AnyRef

Linear Supertypes
AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. EquationExporter
  2. AnyRef
  3. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new EquationExporter(equations: Set[EquationNode], initTerms: Set[Term])

Value Members

  1. val equations: Set[EquationNode]
  2. def export(vars: Vector[Term]): EquationExporter
  3. lazy val finalTermSet: Set[Term]

    Terms in the final (i.e.

    Terms in the final (i.e. evolved) distribution * May have extra terms that evaluate to zero

  4. lazy val finalTypSet: Set[Typ[Term]]

    Typs in the final (i.e.

    Typs in the final (i.e. evolved) distribution May have extra types that evaluate to zero

  5. def indepEquations(variable: Term): Set[EquationNode]

    equations not depending on a variable, to be used with boats

  6. val initTerms: Set[Term]
  7. def isleVar(el: Elem[_]): Boolean

    identifying an isle variable by having an initial value, but one that is not part of the initial distribution

    identifying an isle variable by having an initial value, but one that is not part of the initial distribution

    el

    the element to decide

    returns

    whether the element is an isle-var

  8. def lambdaExportEquations(variable: Term): Set[EquationNode]
  9. def piExportEquations(variable: Term): Set[EquationNode]
  10. def piTermExportEquations(variable: Term): Set[EquationNode]
  11. def relVariable(x: Term): EquationExporter
  12. lazy val valueVars: Vector[Expression]

    Vector of all variables.

    Vector of all variables. This is frozen so that their indices can be used.