ogdf::twosat_var Class Reference

In debug mode, twosat_var is a class instead of a simple int to prevent unintened use of the default 0-value instead of TwoSAT_Var_Undefined. More...

#include <ogdf/cluster/sync_plan/basic/TwoSAT.h>

Public Member Functions
	twosat_var ()
	twosat_var (int val)
	operator int ()
bool	operator!= (const twosat_var &rhs) const
bool	operator== (const twosat_var &rhs) const

Private Attributes
int	m_val

Detailed Description

In debug mode, twosat_var is a class instead of a simple int to prevent unintened use of the default 0-value instead of TwoSAT_Var_Undefined.

Definition at line 46 of file TwoSAT.h.

Constructor & Destructor Documentation

twosat_var() [1/2]

ogdf::twosat_var::twosat_var ( )

inline

Deprecated:

"uninitialized value"

Definition at line 52 of file TwoSAT.h.

twosat_var() [2/2]

ogdf::twosat_var::twosat_var ( int  val )

inlineexplicit

Definition at line 54 of file TwoSAT.h.

Member Function Documentation

operator int()

ogdf::twosat_var::operator int ( )

inlineexplicit

Definition at line 56 of file TwoSAT.h.

operator!=()

bool ogdf::twosat_var::operator!= ( const twosat_var &  rhs ) const

inline

Definition at line 60 of file TwoSAT.h.

operator==()

bool ogdf::twosat_var::operator== ( const twosat_var &  rhs ) const

inline

Definition at line 58 of file TwoSAT.h.

Member Data Documentation

m_val

int ogdf::twosat_var::m_val

private

Definition at line 47 of file TwoSAT.h.

---

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

• include/ogdf/cluster/sync_plan/basic/TwoSAT.h