cvc4-1.3
Public Types | Public Member Functions
CVC4::options::threadArgv__option_t Struct Reference

#include <options.h>

Public Types

typedef std::vector< std::string > type
 
typedef std::vector< std::string > type
 

Public Member Functions

type operator() () const
 
bool wasSetByUser () const
 
void set (const type &v)
 
type operator() () const
 
bool wasSetByUser () const
 
void set (const type &v)
 

Detailed Description

Definition at line 100 of file options.h.

Member Typedef Documentation

typedef std::vector<std::string> CVC4::options::threadArgv__option_t::type

Definition at line 100 of file options.h.

typedef std::vector<std::string> CVC4::options::threadArgv__option_t::type

Definition at line 100 of file options.h.

Member Function Documentation

threadArgv__option_t::type CVC4::options::threadArgv__option_t::operator() ( ) const
inline

Definition at line 218 of file options.h.

References CVC4::Options::current().

type CVC4::options::threadArgv__option_t::operator() ( ) const
void CVC4::options::threadArgv__option_t::set ( const type &  v)
void CVC4::options::threadArgv__option_t::set ( const type &  v)
inline

Definition at line 222 of file options.h.

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

bool CVC4::options::threadArgv__option_t::wasSetByUser ( ) const
inline

Definition at line 220 of file options.h.

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

bool CVC4::options::threadArgv__option_t::wasSetByUser ( ) const
The documentation for this struct was generated from the following file: