alchemist/it.unibo.alchemist.model.sapere/ILsaMolecule/matches

matches

abstract fun matches(mol: ILsaMolecule): Boolean

Return

true if the two molecules match

Parameters

mol

the LsaMolecule to try to match with.

abstract 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