Package org.lflang.analyses.statespace

Classes
class	Event
	A node in the state space diagram representing a step in the execution of an LF program. More...
class	EventQueue
	An event queue implementation that sorts events in the order of time tags and trigger names based on the implementation of compareTo() in the Event class. More...
class	StateInfo
	A class that represents information in a step in a counterexample trace. More...
class	StateSpaceDiagram
	A directed graph representing the state space of an LF program. More...
class	StateSpaceExplorer
	(EXPERIMENTAL) Explores the state space of an LF program. More...
class	StateSpaceNode
	A node in the state space diagram representing a step in the execution of an LF program. More...
class	Tag
	Class representing a logical time tag, which is a pair that consists of a timestamp (type long) and a microstep (type long). More...