Uses of Interface
org.smtlib.sexpr.Printer.PrintArgs

Packages that use Printer.PrintArgs

Package	Description
org.smtlib.sexpr	This package is a concrete implementation of a particular concrete syntax for the abstract SMT-LIB semantics.

Uses of Printer.PrintArgs in org.smtlib.sexpr

Methods in org.smtlib.sexpr with parameters of type Printer.PrintArgs

Modifier and Type	Method	Description
protected Void	Printer.printCommand(ICommand e, Printer.PrintArgs args)	Prints (commandName() args) — the space between name and args is emitted here, so the args lambda should not prepend one.