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

matches

abstract fun matches(mol: ILsaMolecule): Boolean(source)

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