Package aterm :: Module match :: Class Matcher

Class Matcher

Base class for all term matchers.

Instance Methods

match(self, term)

visitTerm(self, term, match)

Inherited from visitor.Visitor: __init__, visit, visitAppl, visitCons, visitInt, visitList, visitLit, visitNil, visitReal, visitStr

Inherited from object: __delattr__, __getattribute__, __hash__, __new__, __reduce__, __reduce_ex__, __repr__, __setattr__, __str__

Properties
Inherited from `object`: `__class__`

Method Details

visitTerm(self, term, match)

Overrides: visitor.Visitor.visitTerm