CVC4::options::zombieHuntThreshold__option_t Struct Reference

#include <options.h>

Public Types
typedef uint32_t	type

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

Detailed Description

Definition at line 166 of file options.h.

Member Typedef Documentation

typedef uint32_t CVC4::options::zombieHuntThreshold__option_t::type

Definition at line 166 of file options.h.

Member Function Documentation

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

inline

Definition at line 514 of file options.h.

References CVC4::Options::current().

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

inline

Definition at line 516 of file options.h.

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

---

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

• src/smt/options.h