cvc4-1.4
CVC4::options::out__option_t Struct Reference

#include <base_options.h>

Public Types

typedef std::ostream * type
 

Public Member Functions

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

Detailed Description

Definition at line 108 of file base_options.h.

Member Typedef Documentation

◆ type

typedef std::ostream* CVC4::options::out__option_t::type

Definition at line 108 of file base_options.h.

Member Function Documentation

◆ operator()()

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

Definition at line 260 of file base_options.h.

References CVC4::Options::current().

◆ set()

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

Definition at line 264 of file base_options.h.

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

◆ wasSetByUser()

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

Definition at line 262 of file base_options.h.

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


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