AngouriMath

Navigation

Home Quick start Wiki Almanac Research What's new Try Use Angouri.org GitHub Report a bug ~~Donate~~ Contacts

SubsumesCore(AngouriMath.Core.Transformations.Matching.MatchPattern,System.Collections.Generic.Dictionary{System.String,AngouriMath.Core.Transformations.Matching.MatchPattern})

Method (no overloads)

Summary

Subsumes(AngouriMath.Core.Transformations.Matching.MatchPattern), carrying the assignment from this pattern's holes to the
subpatterns of the one being subsumed. Refusing is always sound, so the base answers
false and a pattern kind that can reason about itself says so.

AngouriMath

Table of contents

AngouriMath

SubsumesCore​(AngouriMath.​Core.​Transformations.​Matching.​MatchPattern,​System.​Collections.​Generic.​Dictionary{System.​String,​AngouriMath.​Core.​Transformations.​Matching.​MatchPattern})

SubsumesCore(AngouriMath.Core.Transformations.Matching.MatchPattern,System.Collections.Generic.Dictionary{System.String,AngouriMath.Core.Transformations.Matching.MatchPattern})