cvc4-1.3
|
#include <base_options.h>
Public Types | |
typedef bool | type |
Public Member Functions | |
type | operator() () const |
bool | wasSetByUser () const |
Definition at line 122 of file base_options.h.
typedef bool CVC4::options::printSuccess__option_t::type |
Definition at line 122 of file base_options.h.
|
inline |
Definition at line 299 of file base_options.h.
References CVC4::Options::current().
|
inline |
Definition at line 301 of file base_options.h.
References CVC4::Options::current(), and CVC4::Options::wasSetByUser().