A state table entry consists of previous state, event, next state, action and a flag to indicate if the event is wildcard. There are two constructors, one for normal events and the other for wildcard event. ARG represents the class of the argment of the () operator of each action.
Generated on Fri Jun 25 17:35:04 2004 for Framework API for Task Management and Protocol State Machines by
1.3.5