public interface ATermRenderer extends ATermVisitor
| Modifier and Type | Method and Description |
|---|---|
PrintWriter |
getWriter() |
void |
setWriter(PrintWriter out) |
void |
setWriter(Writer out) |
visit, visitAll, visitAnd, visitCard, visitHasValue, visitInverse, visitList, visitLiteral, visitMax, visitMin, visitNot, visitOneOf, visitOr, visitRestrictedDatatype, visitSelf, visitSome, visitTerm, visitValuevoid setWriter(PrintWriter out)
PrintWriter getWriter()
void setWriter(Writer out)
Copyright © 2019. All rights reserved.