cvc4-1.3
CVC4::options::booleanTermConversionMode__option_t Struct Reference

#include <options.h>

Public Types

typedef
CVC4::theory::booleans::BooleanTermConversionMode 
type
 
typedef
CVC4::theory::booleans::BooleanTermConversionMode 
type
 

Public Member Functions

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

Detailed Description

Definition at line 70 of file options.h.

Member Typedef Documentation

typedef CVC4::theory::booleans::BooleanTermConversionMode CVC4::options::booleanTermConversionMode__option_t::type

Definition at line 70 of file options.h.

typedef CVC4::theory::booleans::BooleanTermConversionMode CVC4::options::booleanTermConversionMode__option_t::type

Definition at line 70 of file options.h.

Member Function Documentation

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

Definition at line 90 of file options.h.

References CVC4::Options::current().

type CVC4::options::booleanTermConversionMode__option_t::operator() ( ) const
bool CVC4::options::booleanTermConversionMode__option_t::wasSetByUser ( ) const
bool CVC4::options::booleanTermConversionMode__option_t::wasSetByUser ( ) const
inline

Definition at line 92 of file options.h.

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


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