Leonardo/it.grypho.scala.leonardo/it.grypho.scala.leonardo.core/_Expression

_Expression

it.grypho.scala.leonardo.core._Expression

Base trait of every expression tree node, shared across all domains.

The dual-evaluation contract: eval returns Right when the expression fully reduces to a concrete _Value; Left when some variable is still free and the node is returned in its most-reduced symbolic form.

children / rebuild enable generic structural traversal so algorithms that visit every node type (Substitute, Analysis, …) do not need to match each case explicitly. Binder positions (e.g. the differentiation variable) are excluded from children; rebuild carries them through unchanged.

freeVars is cached per instance — computed once from children, then O(1). New node types inherit a correct default automatically.

Attributes

Graph
Supertypes: class Object

trait Matchable

class Any
Known subtypes: class _Feedback

class _ImpulseResponse

class _Parallel

class _Series

class _StepResponse

trait _ElementWise

class _EqualityCheck

class _Equation

class MatSum

class Transpose

class _Matrix

class _Heaviside

trait _MatrixShaped

trait _Value

class _Based

class _Bool

class _Complex

class _MatrixValue

class _Number

class _Rational

class _Truth

class _Distribution

class _Variable

class _Differentiable

class _Domain

class _Singularities

class _Comparison

class _Solve

class _SolveSystem

trait _Connective

class And

class Implies

class Not

class Or

class Xor

class _Defuzzify

trait _Membership

class GaussMF

class SigMF

class Somewhat

class TrapMF

class TriMF

class Very

class _TruthOf

class Determinant

class _EigDecomposition

class _EigenDecomposition

class _JordanDecomposition

class _LUDecomposition

class _MatrixIndex

trait _MatrixOperation

class IdentityMatrix

class Inverse

class MatProduct

class MatScale

class ZeroMatrix

class _MatrixExponential

class _QRDecomposition

class _DistributionOf

class _DistributionQuery

class _Expectation

class _Variance

trait NamedFunction

class Acos

class Acosh

class Asin

class Asinh

class Atan

class Atanh

class Beta

class BetaI

class Binom

class Catalan

class Ci

class Cos

class Cosh

class Cot

class Coth

class Csc

class Csch

class Digamma

class Ei

class Erf

class Erfc

class Exp

class Factorial

class FresnelC

class FresnelS

class Gamma

class GammaP

class GammaQ

class Harmonic

class Li

class Ln

class LogBase

class LogGamma

class MultiFactorial

class Sec

class Sech

class Si

class Sin

class Sinh

class Tanh

class Tg

class _Balanced

class _Function

class _Functional

class _ODE

class _DefIntegral

class _Derivative

class _FourierSeries

class _Integral

class _Laurent

class _Limit

class _Pade

class _Tabulate

class _Taylor

class _Fourier

class _InverseLaplace

class _InverseZTransform

class _Laplace

class _ZTransform

trait _Operation

class Power

class Product

class Ratio

class Sum

class _Pattern

class _Sequence

class _ToBase

class _PairStatistic

class _Regress

class _Statistic

class _Test

trait _VectorOperator

class _Curl

class _Div

class _Grad

class _Hessian

class _Jacobian

class _Laplacian
Show all

Members list

Value members

Abstract methods

Sub-expressions subject to recursive structural traversal. Binder positions (e.g. the differentiation variable) are excluded.

Attributes

Reduces this expression in the given environment.

Value parameters

env: variable bindings and display precision

Attributes

Returns: Right(v) when all free variables resolved to concrete values; Left(e) when reduction is partial or impossible

Reconstructs the same node shape with replacement sub-expressions.

Value parameters

newChildren: replacements in the same order and count as children

Attributes

Concrete fields

Cached set of free variable names; O(1) after the first access.

Attributes

In this article

Generated with