cvc4-1.3
|
#include <options.h>
Public Types | |
typedef CVC4::theory::quantifiers::AxiomInstMode | type |
typedef CVC4::theory::quantifiers::AxiomInstMode | type |
Public Member Functions | |
type | operator() () const |
bool | wasSetByUser () const |
type | operator() () const |
bool | wasSetByUser () const |
typedef CVC4::theory::quantifiers::AxiomInstMode CVC4::options::axiomInstMode__option_t::type |
typedef CVC4::theory::quantifiers::AxiomInstMode CVC4::options::axiomInstMode__option_t::type |
|
inline |
Definition at line 691 of file options.h.
References CVC4::Options::current().
type CVC4::options::axiomInstMode__option_t::operator() | ( | ) | const |
bool CVC4::options::axiomInstMode__option_t::wasSetByUser | ( | ) | const |
|
inline |
Definition at line 693 of file options.h.
References CVC4::Options::current(), and CVC4::Options::wasSetByUser().