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

#include <options.h>

Public Types

typedef int type
 

Public Member Functions

type operator() () const
 
bool wasSetByUser () const
 

Detailed Description

Definition at line 238 of file options.h.

Member Typedef Documentation

Member Function Documentation

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

Definition at line 792 of file options.h.

References CVC4::Options::current().

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

Definition at line 794 of file options.h.

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


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