matches

open fun matches(mol: ILsaMolecule): Boolean

Return

true if the two molecules match

Parameters

mol

the LsaMolecule to try to match with.


open fun matches(mol: List<out IExpression>, duplicateVariables: Boolean): Boolean

Return

true if the two molecules match

Parameters

mol

the LsaMolecule to try to match with

duplicateVariables

if true, the matching of variables reused within the same tuple is enabled