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)
IntOption &	operator= (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_MIN, INT32_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:

• include/ogdf/lib/minisat/utils/Options.h