Predecessor in the state transition Graph. More...
#include <statemodel.hh>
Predecessor in the state transition Graph.