Class AbbrevTextWriter

Write an abbreviated term representation.

Instance Methods

__init__(self, fp, depth)

visitList(self, term)

Inherited from TextWriter: visitAppl, visitInt, visitReal, visitStr, writeList

Inherited from visitor.Visitor: visit, visitCons, visitLit, visitNil, visitTerm

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

Properties
Inherited from `object`: `__class__`

Method Details

init(self, fp, depth)
(Constructor)

Overrides: Writer.__init__

visitList(self, term)

Overrides: TextWriter.visitList

Class AbbrevTextWriter

__init__(self, fp, depth) (Constructor)

visitList(self, term)

init(self, fp, depth)
(Constructor)