CVC4::options::booleanTermConversionMode__option_t Struct Reference

#include <options.h>

Public Types
typedef CVC4::theory::booleans::BooleanTermConversionMode	type
typedef CVC4::theory::booleans::BooleanTermConversionMode	type

Public Member Functions
type	operator() () const
bool	wasSetByUser () const
type	operator() () const
bool	wasSetByUser () const

Detailed Description

Definition at line 70 of file options.h.

Member Typedef Documentation

typedef CVC4::theory::booleans::BooleanTermConversionMode CVC4::options::booleanTermConversionMode__option_t::type

Definition at line 70 of file options.h.

typedef CVC4::theory::booleans::BooleanTermConversionMode CVC4::options::booleanTermConversionMode__option_t::type

Definition at line 70 of file options.h.

Member Function Documentation

booleanTermConversionMode__option_t::type CVC4::options::booleanTermConversionMode__option_t::operator() ( ) const

inline

Definition at line 90 of file options.h.

References CVC4::Options::current().

type CVC4::options::booleanTermConversionMode__option_t::operator()

(

)

const

bool CVC4::options::booleanTermConversionMode__option_t::wasSetByUser

(

)

const

bool CVC4::options::booleanTermConversionMode__option_t::wasSetByUser ( ) const

inline

Definition at line 92 of file options.h.

References CVC4::Options::current(), and CVC4::Options::wasSetByUser().

---

The documentation for this struct was generated from the following file:

• src/theory/booleans/options.h