Package org.smtlib.sexpr

Interface Printer.PrintArgs

Enclosing class:
Printer
Functional Interface:
This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.
@FunctionalInterface protected static interface Printer.PrintArgs
Functional interface for the argument-printing lambda passed to Printer.printCommand(org.smtlib.ICommand, org.smtlib.sexpr.Printer.PrintArgs).

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    run()