Open
Graph Drawing
Framework

 v. 2023.09 (Elderberry)
 

Minisat::Internal::IntOption Class Reference

#include <ogdf/lib/minisat/utils/Options.h>

Public Member Functions

 IntOption (const char *d, int32_t def=int32_t(), IntRange r=IntRange(INT32_MIN, INT32_MAX))
 
 operator int32_t (void) const
 
 operator int32_t & (void)
 
IntOptionoperator= (int32_t x)
 

Protected Attributes

IntRange range
 
int32_t value
 

Detailed Description

Definition at line 78 of file Options.h.

Constructor & Destructor Documentation

◆ IntOption()

Minisat::Internal::IntOption::IntOption ( const char *  d,
int32_t  def = int32_t(),
IntRange  r = IntRange(INT32_MININT32_MAX) 
)
inline

Definition at line 85 of file Options.h.

Member Function Documentation

◆ operator int32_t()

Minisat::Internal::IntOption::operator int32_t ( void  ) const
inline

Definition at line 88 of file Options.h.

◆ operator int32_t &()

Minisat::Internal::IntOption::operator int32_t & ( void  )
inline

Definition at line 89 of file Options.h.

◆ operator=()

IntOption& Minisat::Internal::IntOption::operator= ( int32_t  x)
inline

Definition at line 90 of file Options.h.

Member Data Documentation

◆ range

IntRange Minisat::Internal::IntOption::range
protected

Definition at line 81 of file Options.h.

◆ value

int32_t Minisat::Internal::IntOption::value
protected

Definition at line 82 of file Options.h.


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