matches

Checks whether this molecule matches the provided one.

true if the two molecules match

mol

the LsaMolecule to try to match with.

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

Checks whether this molecule matches the provided list of arguments.

true if the two molecules match

mol

the LsaMolecule to try to match with

duplicateVariables

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