Package ProtocolLearner

Class Summary

AppDataParser
FSATransition	Inner class that stores information relevant for each transition such as the destination state, input symbol and output symbol sequences.
FSAutomaton	Abstract Finite State Automaton class.
MessageTrace	An abstract class for a message trace.
PassiveLearner	A passive synthesis protocol learner that builds Finite State Machine from a set of protocol messages traces
TesterTemp