Minisat::Internal::DoubleOption Class Reference

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

Public Member Functions
	DoubleOption (const char *d, double def=double(), DoubleRange r=DoubleRange(-HUGE_VAL, false, HUGE_VAL, false))
	operator double (void) const
	operator double & (void)
DoubleOption &	operator= (double x)

Protected Attributes
DoubleRange	range
double	value

Detailed Description

Definition at line 57 of file Options.h.

Constructor & Destructor Documentation

DoubleOption()

Minisat::Internal::DoubleOption::DoubleOption ( const char *  d, double  def = double(), DoubleRange  r = DoubleRange(-HUGE_VAL, false, HUGE_VAL, false)  )

inline

Definition at line 64 of file Options.h.

Member Function Documentation

operator double()

Minisat::Internal::DoubleOption::operator double ( void  ) const

inline

Definition at line 68 of file Options.h.

operator double &()

Minisat::Internal::DoubleOption::operator double & ( void  )

inline

Definition at line 69 of file Options.h.

operator=()

DoubleOption& Minisat::Internal::DoubleOption::operator= ( double  x )

inline

Definition at line 70 of file Options.h.

Member Data Documentation

range

DoubleRange Minisat::Internal::DoubleOption::range

protected

Definition at line 60 of file Options.h.

value

double Minisat::Internal::DoubleOption::value

protected

Definition at line 61 of file Options.h.

---

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

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