Lsa Molecule
This class realizes an LsaMolecule, where arguments are of type Expression.
Constructors
Link copied to clipboard
Empty molecule, no arguments.
Link copied to clipboard
Builds a new LsaMolecule by interpreting a list of IExpressions.
Link copied to clipboard
Very fast constructor, produces a copy of an LsaMolecule.
Link copied to clipboard
Builds a LsaMolecule by parsing the passed String.
Link copied to clipboard
Builds a LsaMolecule by parsing the passed String.
Functions
Link copied to clipboard
open fun allocateVar(matches: Map<HashString, ITreeNode<out Any>>): List<IExpression>
Content copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
open fun matches(mol: List<out IExpression>, duplicateVariables: Boolean): Boolean
Content copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard