CVC4::options::statistics__option_t Struct Reference

#include <base_options.h>

Public Types
typedef bool	type
typedef bool	type

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

Detailed Description

Definition at line 116 of file base_options.h.

Member Typedef Documentation

typedef bool CVC4::options::statistics__option_t::type

Definition at line 116 of file base_options.h.

typedef bool CVC4::options::statistics__option_t::type

Definition at line 116 of file base_options.h.

Member Function Documentation

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

inline

Definition at line 282 of file base_options.h.

References CVC4::Options::current().

type CVC4::options::statistics__option_t::operator()

(

)

const

bool CVC4::options::statistics__option_t::wasSetByUser

(

)

const

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

inline

Definition at line 284 of file base_options.h.

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

---

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

• src/options/base_options.h