CVC4::options::perCallResourceLimit__option_t Struct Reference

#include <options.h>

Public Types
typedef unsigned long	type

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

Detailed Description

Definition at line 202 of file options.h.

Member Typedef Documentation

typedef unsigned long CVC4::options::perCallResourceLimit__option_t::type

Definition at line 202 of file options.h.

Member Function Documentation

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

inline

Definition at line 628 of file options.h.

References CVC4::Options::current().

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

inline

Definition at line 630 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