matches

Checks whether this molecule matches the provided one.

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)

Checks whether this molecule matches the provided list of arguments.

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