AngouriMath
Add(System.String,System.Int32[])
Method (no overloads)
Summary
Adds a leaf or an operator over already-added children, and returns the e-class it
belongs to -- an existing one if an equal e-node is already hash-consed, otherwise a
fresh one.
belongs to -- an existing one if an equal e-node is already hash-consed, otherwise a
fresh one.
Parameter "op"
The operator identity: a leaf's printed self, so that two different variables or
numbers never share a class, or a node type's name otherwise.
numbers never share a class, or a node type's name otherwise.
Parameter "children"
The e-classes of this e-node's children, already added.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online