Package ca.uqac.lif.cep.fsm
Define and run extended finite-state machines (FSMs) on an input trace.
- Author:
- Sylvain Hallé
-
Class Summary Class Description FunctionTransition Transition for a Moore Machine where the guard is a function returning aboolean
, and the context modification is a list ofContextAssignment
s.Main Dummy main fileMooreMachine A finite-state automaton with output symbols associated to its states.MooreMachine.Transition Represents a transition in the Moore machineProcessorTransition Represents a transition in the Moore machine.TransitionOtherwise Represents the "otherwise" transition in the Moore machine