public interface VersionedGraphGeneratorInterface<T,A> extends GraphGenerator<T,A>
| Modifier and Type | Method and Description |
|---|---|
void |
setNodeNumbering(boolean numbering)
Indicates whether the nodes should get a unique id, or if all should get the same id -1
This is important if one wants to guarantee that the explored graph is expanded as a tree
|
getGoalTester, getRootGenerator, getSuccessorGenerator, isSelfContainedvoid setNodeNumbering(boolean numbering)
GraphGeneratorsetNodeNumbering in interface GraphGenerator<T,A>