Gluco2::Solver::JustKey Struct Reference

#include <Solver.h>

Public Types
typedef double	Key
typedef Var	Data
typedef int	Attr

Public Member Functions
Data	data () const
Key	key () const
Attr	attr () const
	JustKey ()
	JustKey (const Key &nkey, const Data &ndata, const Attr &nattr)

Public Attributes
Key	_key
Data	_data
Attr	_attr

Detailed Description

Definition at line 430 of file Solver.h.

Member Typedef Documentation

Attr

typedef int Gluco2::Solver::JustKey::Attr

Definition at line 433 of file Solver.h.

Data

typedef Var Gluco2::Solver::JustKey::Data

Definition at line 432 of file Solver.h.

Key

typedef double Gluco2::Solver::JustKey::Key

Definition at line 431 of file Solver.h.

Constructor & Destructor Documentation

JustKey() [1/2]

Gluco2::Solver::JustKey::JustKey ( )

inline

Definition at line 440 of file Solver.h.

:_key(0),_data(0),_attr(0){}

JustKey() [2/2]

Gluco2::Solver::JustKey::JustKey ( const Key & nkey, const Data & ndata, const Attr & nattr )

inline

Definition at line 441 of file Solver.h.

: _key(nkey), _data(ndata), _attr(nattr) {}

Member Function Documentation

attr()

Attr Gluco2::Solver::JustKey::attr ( ) const

inline

Definition at line 439 of file Solver.h.

{ return _attr; }

data()

Data Gluco2::Solver::JustKey::data ( ) const

inline

Definition at line 437 of file Solver.h.

{ return _data; }

Here is the caller graph for this function:

key()

Key Gluco2::Solver::JustKey::key ( ) const

inline

Definition at line 438 of file Solver.h.

{ return _key; }

Here is the caller graph for this function:

Member Data Documentation

_attr

Attr Gluco2::Solver::JustKey::_attr

Definition at line 436 of file Solver.h.

_data

Data Gluco2::Solver::JustKey::_data

Definition at line 435 of file Solver.h.

_key

Key Gluco2::Solver::JustKey::_key

Definition at line 434 of file Solver.h.

---

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

• src/sat/glucose2/Solver.h