Go to the source code of this file.
Defines | |
#define | PATH_CYCLE_SEPARATOR "================" |
#define PATH_CYCLE_SEPARATOR "================" |
Class path_t is used to construct and print the reprezentation of path in the state space. For building a 'normal' path, just keep adding states from the beginning or end of the path. For building a path with cycle, start from one end, keep adding states on path and mark the state where the cycle starts. You add this state only one time.
Programmer should take care that states are added correctly (such that transitions between them exists)