Class SmtExprPrinter

  • All Implemented Interfaces:
    ExprTreePrinter

    public class SmtExprPrinter
    extends MapBasedPrinter
    This class implements an expression printer that produces SMT code.
    • Constructor Detail

      • SmtExprPrinter

        public SmtExprPrinter()
        Default constructor.