DriverOptions 

class cvc5 :: 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() methods. 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