#include <UnfoldingStateTable.hh>

Detailed Description

A UnfoldingStateTable is a container that represents BeliefState objects. The main idea is to provide an efficient data sructure to test the existence of a BeliefState in a set of BeliefState objects. Each BeliefState is associted with an information that can be efficiently retrived from a given BeliefState. A BeliefStateTable is a list of StateNode's trees. A BeliefState is represented by an ordered sequence of StateNode objects between the roots and a StateNode that is tagged. The information associated to the BeliefState is associated to the StateNode that is tagged.

The documentation for this class was generated from the following file:

/home/yannick/laas/redmine/tools/diades/include/diades/sdmdl/UnfoldingStateTable.hh