cvc4-1.3
|
#include <base_options.h>
Public Types | |
typedef std::istream * | type |
typedef std::istream * | type |
Public Member Functions | |
type | operator() () const |
bool | wasSetByUser () const |
void | set (const type &v) |
type | operator() () const |
bool | wasSetByUser () const |
void | set (const type &v) |
Definition at line 102 of file base_options.h.
typedef std::istream* CVC4::options::in__option_t::type |
Definition at line 102 of file base_options.h.
typedef std::istream* CVC4::options::in__option_t::type |
Definition at line 102 of file base_options.h.
|
inline |
Definition at line 233 of file base_options.h.
References CVC4::Options::current().
type CVC4::options::in__option_t::operator() | ( | ) | const |
void CVC4::options::in__option_t::set | ( | const type & | v | ) |
|
inline |
Definition at line 237 of file base_options.h.
References CVC4::Options::current(), and CVC4::Options::set().
|
inline |
Definition at line 235 of file base_options.h.
References CVC4::Options::current(), and CVC4::Options::wasSetByUser().
bool CVC4::options::in__option_t::wasSetByUser | ( | ) | const |