Package org.smtlib

Interface Log.IPendingOutput

Enclosing class:
Log
public static interface Log.IPendingOutput
Output whose content is not yet known, e.g. the response to a command sent to a solver without waiting for it (pipelining); see Log.hold(IPendingOutput)

  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    isReady()
    Whether the content is known, so that print() may be called
    void
    print()
    Logs the content, through this Log as usual

  • Method Details

    • isReady

      boolean isReady()
      Whether the content is known, so that print() may be called

    • print

      void print()
      Logs the content, through this Log as usual