AngouriMath

Navigation

← Back to list of members

TryMatchOnce​(AngouriMath.​Entity,​AngouriMath.​Core.​Transformations.​Matching.​Bindings,​AngouriMath.​Core.​Transformations.​Matching.​Bindings@)

 Method (no overloads)

Summary

The single way this matches, without enumerating. Only meaningful where
IsDeterministic; a pattern that can match several ways must be asked
through Match(AngouriMath.Entity,AngouriMath.Core.Transformations.Matching.Bindings), which is why this is not the only entry point.

Remarks

It must agree with Match(AngouriMath.Entity,AngouriMath.Core.Transformations.Matching.Bindings) exactly — the same bindings, or no match where
Match(AngouriMath.Entity,AngouriMath.Core.Transformations.Matching.Bindings) yields nothing. DeterministicMatchingAgreesWithEnumeration is the test that holds the two together, over generated expressions, because two
implementations of one thing is how a matcher acquires a case where they differ.

























Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online