Uses of Interface
org.smtlib.Log.IPendingOutput

Packages that use Log.IPendingOutput

Package	Description
org.smtlib	This package contains the main classes and abstract interfaces for this SMT-LIB tool; the tool provides a stand-alone SMT-LIB-compliant command-line application, an application that responds to SMT-LIB commands over a network port, and an SMT-LIB Java API.

Uses of Log.IPendingOutput in org.smtlib

Methods in org.smtlib with parameters of type Log.IPendingOutput

Modifier and Type	Method	Description
void	Log.hold(Log.IPendingOutput output)	Holds a place in the output for content not yet known: until it is printed (see Log.flush()), later logging calls are held behind it, so that output stays in order.