Class TextWriter

Writes a term to a text stream.

Instance Methods

writeList(self, seq, begin, end, sep=',')

visitInt(self, term)

visitReal(self, term)

visitStr(self, term)

visitList(self, term)

visitAppl(self, term)

Inherited from Writer: __init__

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