path.hh File Reference

Go to the source code of this file.

Defines

#define PATH_CYCLE_SEPARATOR   "================"


Detailed Description

This file contains definition of path_t class

Define Documentation

#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)


Reference Manual for Library, 2006 developed in ParaDiSe laboratory, Faculty of Informatics, Masaryk University