DriverOptions

class DriverOptions

This class provides type-safe access to a few options that frontends are likely to use, but can not be not be communicated appropriately via the regular Solver::getOption() or Solver::getOptionInfo() functions. This includes, e.g., the input and output streams that can be configured via err, in and out. This class does not store the options itself, but only acts as a wrapper to the solver object. It can thus no longer be used after the solver object has been destroyed.

Public Functions

std::istream &in() const

Access the solver’s input stream

std::ostream &err() const

Access the solver’s error output stream

std::ostream &out() const

Access the solver’s output stream