Class IncrementalVisitor

Base class for visitors which incrementally build-up a modified term.

Instance Methods

visitHead(self, term, *args, **kargs)

visitTail(self, term, *args, **kargs)

visitCons(self, term, *args, **kargs)

visitAppl(self, term, *args, **kargs)

Inherited from Visitor: __init__, visit, visitInt, visitList, visitLit, visitNil, visitReal, visitStr, visitTerm

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

Properties
Inherited from `object`: `__class__`

Method Details

visitCons(self, term, *args, **kargs)

Overrides: Visitor.visitCons

visitAppl(self, term, *args, **kargs)

Overrides: Visitor.visitAppl