The match strategy ?t matches the term pattern t against the current subject term. If the match succeeds all variables in t are bound to the corresponding sub-terms of the subject term.

See pattern matching


CategoryGlossary

Revision: r1.1 - 13 May 2003 - 21:52 - EelcoVisser
Stratego > StrategoGlossary > MatchStrategy
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback