Package aterm :: Module match :: Class Cons

Class Cons

List construction term matcher.

Instance Methods

__init__(self, head, tail)

visitCons(self, term, match)

Inherited from Matcher: match, visitTerm

Inherited from visitor.Visitor: visit, visitAppl, 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

init(self, head, tail)
(Constructor)

Overrides: visitor.Visitor.__init__

visitCons(self, term, match)

Overrides: visitor.Visitor.visitCons

Class Cons

__init__(self, head, tail) (Constructor)

visitCons(self, term, match)

init(self, head, tail)
(Constructor)