Node in the search tree for LDS More...
#include <lds.hh>
Public Member Functions | |
Node (void) | |
Default constructor. | |
Node (Space *s, const Choice *c, unsigned int a, unsigned int nid) | |
Initialize with node s, choice c, and alternative a. | |
Space * | space (void) const |
Return space. | |
const Choice * | choice (void) const |
Return choice. | |
unsigned int | alt (void) const |
Return next alternative. | |
unsigned int | nid (void) const |
Return node identifier. | |
void | next (void) |
Set next alternative |
Node in the search tree for LDS
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |