Public Member Functions | |
String | toString () |
Package Attributes | |
ArrayList | children = new ArrayList() |
int | conflictSetIndex = -1 |
SortedIntList | edgeLabels |
ConflictSet | label |
ArrayList | parents = new ArrayList() |
boolean | relevantForPruning = true |
int | state = STATE_OPEN |
Static Package Attributes | |
static final int | STATE_CLOSED = 1 |
static final int | STATE_EXPANDED = 4 |
static final int | STATE_MINIMAL = 2 |
static final int | STATE_OPEN = 0 |
static final int | STATE_PRUNED = 3 |
Definition at line 1126 of file MinHittingSetsFM.java.
String hittingsetalg.HSNodeFM.toString | ( | ) | [inline] |
Definition at line 1155 of file MinHittingSetsFM.java.
ArrayList hittingsetalg.HSNodeFM.children = new ArrayList() [package] |
Definition at line 1144 of file MinHittingSetsFM.java.
int hittingsetalg.HSNodeFM.conflictSetIndex = -1 [package] |
Definition at line 1149 of file MinHittingSetsFM.java.
Definition at line 1138 of file MinHittingSetsFM.java.
ConflictSet hittingsetalg.HSNodeFM.label [package] |
Definition at line 1146 of file MinHittingSetsFM.java.
ArrayList hittingsetalg.HSNodeFM.parents = new ArrayList() [package] |
Definition at line 1141 of file MinHittingSetsFM.java.
boolean hittingsetalg.HSNodeFM.relevantForPruning = true [package] |
Definition at line 1153 of file MinHittingSetsFM.java.
int hittingsetalg.HSNodeFM.state = STATE_OPEN [package] |
Definition at line 1135 of file MinHittingSetsFM.java.
final int hittingsetalg.HSNodeFM.STATE_CLOSED = 1 [static, package] |
Definition at line 1129 of file MinHittingSetsFM.java.
final int hittingsetalg.HSNodeFM.STATE_EXPANDED = 4 [static, package] |
Definition at line 1132 of file MinHittingSetsFM.java.
final int hittingsetalg.HSNodeFM.STATE_MINIMAL = 2 [static, package] |
Definition at line 1130 of file MinHittingSetsFM.java.
final int hittingsetalg.HSNodeFM.STATE_OPEN = 0 [static, package] |
Definition at line 1128 of file MinHittingSetsFM.java.
final int hittingsetalg.HSNodeFM.STATE_PRUNED = 3 [static, package] |
Definition at line 1131 of file MinHittingSetsFM.java.