Class SmtExprPrinter
- java.lang.Object
-
- ru.ispras.fortress.expression.printer.MapBasedPrinter
-
- ru.ispras.fortress.expression.printer.SmtExprPrinter
-
- All Implemented Interfaces:
ExprTreePrinter
public class SmtExprPrinter extends MapBasedPrinter
This class implements an expression printer that produces SMT code.
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description protected class
SmtExprPrinter.Visitor
-
Nested classes/interfaces inherited from class ru.ispras.fortress.expression.printer.MapBasedPrinter
MapBasedPrinter.ExprTreeVisitor
-
-
Constructor Summary
Constructors Constructor Description SmtExprPrinter()
Default constructor.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected void
addMapping(StandardOperation op, java.lang.String sign)
protected void
addMapping(StandardOperation op, SmtKeyword id)
-
Methods inherited from class ru.ispras.fortress.expression.printer.MapBasedPrinter
addMapping, addMapping, addMapping, addMapping, addMapping, addMapping, addMapping, addMapping, addMapping, getOperationDescription, setVisitor, toString
-
-
-
-
Method Detail
-
addMapping
protected final void addMapping(StandardOperation op, SmtKeyword id)
-
addMapping
protected final void addMapping(StandardOperation op, java.lang.String sign)
-
-