Package aterm :: Module match

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.