cvc4-1.4
|
#include <options.h>
Public Types | |
typedef CVC4::theory::bv::BitblastMode | type |
Public Member Functions | |
type | operator() () const |
bool | wasSetByUser () const |
void | set (const type &v) |
typedef CVC4::theory::bv::BitblastMode CVC4::options::bitblastMode__option_t::type |
|
inline |
Definition at line 278 of file options.h.
References CVC4::Options::current().
|
inline |
Definition at line 282 of file options.h.
References CVC4::Options::current(), and CVC4::Options::set().
|
inline |
Definition at line 280 of file options.h.
References CVC4::Options::current(), and CVC4::Options::wasSetByUser().