it.grypho.scala.leonardo.scalar._Operation
Marker trait for the four scalar binary operations: Sum, Product, Ratio, and Power.
Attributes
-
Graph
-
-
Supertypes
-
class Object
trait Matchable
class Any
-
Known subtypes
-
Members list
Sub-expressions subject to recursive structural traversal. Binder positions (e.g. the differentiation variable) are excluded.
Sub-expressions subject to recursive structural traversal. Binder positions (e.g. the differentiation variable) are excluded.
Attributes
-
Inherited from:
-
_Expression
Reduces this expression in the given environment.
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
-
Inherited from:
-
_Expression
Reconstructs the same node shape with replacement sub-expressions.
Reconstructs the same node shape with replacement sub-expressions.
Value parameters
-
newChildren
-
replacements in the same order and count as children
Attributes
-
Inherited from:
-
_Expression
Cached set of free variable names; O(1) after the first access.
Cached set of free variable names; O(1) after the first access.
Attributes
-
Inherited from:
-
_Expression
