override fun matches()

in reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/OccurrenceMatcherImpl.kt [53:62]


    override fun matches(cst: Constraint, occ: ConstraintOccurrence): Boolean
    {
        if (cst.symbol() != occ.constraint().symbol()) return false

        return zipWhileTrue(cst.arguments(), occ.arguments()) { cstarg, occarg ->
            if (cstarg == null) throw NullPointerException("constraint argument can't be null")
            if (occarg == null) return false
            ptnMatchAny(cstarg, occarg)
        }
    }