matches

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(source)

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