Package aterm :: Module match
[frames] | no frames]

Module match



Term pattern matching.

Classes
  Match
Match object.
  Matcher
Base class for all term matchers.
  Int
Integer term matcher.
  Real
Real term matcher.
  Str
String term matcher.
  Nil
Empty list term matcher.
  Cons
List construction term matcher.
  Appl
Application term matcher.
  ApplCons
Application term (deconstruction) matcher.
  Wildcard
Wildcard (any term) matcher.
  Var
Variable (any term) matcher.
  Parser
Parse a term pattern into a tree of term matchers.