A node in the state space diagram representing a step in the execution of an LF program. More...

Public Member Functions
void	display ()
	Two methods for pretty printing.
ArrayList< Event >	getEventQcopy ()
int	getIndex ()
Set< ReactionInstance >	getReactionsInvoked ()
Tag	getTag ()
TimeValue	getTime ()
int	hash ()
	Generate hash for the node.
void	setEventQcopy (ArrayList< Event > list)
void	setIndex (int i)
	StateSpaceNode (Tag tag, Set< ReactionInstance > reactionsInvoked, ArrayList< Event > eventQcopy)
String	toString ()

Detailed Description

A node in the state space diagram representing a step in the execution of an LF program.

Constructor & Destructor Documentation

◆ StateSpaceNode()

org.lflang.analyses.statespace.StateSpaceNode.StateSpaceNode	(	Tag	tag,
		Set< ReactionInstance >	reactionsInvoked,
		ArrayList< Event >	eventQcopy )

Member Function Documentation

◆ display()

void org.lflang.analyses.statespace.StateSpaceNode.display ( )

Two methods for pretty printing.

◆ getEventQcopy()

ArrayList< Event > org.lflang.analyses.statespace.StateSpaceNode.getEventQcopy ( )

◆ getIndex()

int org.lflang.analyses.statespace.StateSpaceNode.getIndex ( )

◆ getReactionsInvoked()

Set< ReactionInstance > org.lflang.analyses.statespace.StateSpaceNode.getReactionsInvoked ( )

◆ getTag()

Tag org.lflang.analyses.statespace.StateSpaceNode.getTag ( )

◆ getTime()

TimeValue org.lflang.analyses.statespace.StateSpaceNode.getTime ( )

◆ hash()

int org.lflang.analyses.statespace.StateSpaceNode.hash ( )

Generate hash for the node.

This hash function is used for checking whether two nodes are analogous, meaning that 1) they have the same reactions invoked at their tags, 2) the queued events have the same triggers, and 3) the time offsets between future events' tags of one node and its tag are the same as the time offsets between future events' tags of the other node and the other node's tag. The hash() method is not meant to replace the hashCode() method because doing so changes the way nodes are inserted in the state space diagram.

◆ setEventQcopy()

void org.lflang.analyses.statespace.StateSpaceNode.setEventQcopy ( ArrayList< Event > list )

◆ setIndex()

void org.lflang.analyses.statespace.StateSpaceNode.setIndex ( int i )

◆ toString()

String org.lflang.analyses.statespace.StateSpaceNode.toString ( )

The documentation for this class was generated from the following file:

/Users/runner/work/lingua-franca/lingua-franca/core/src/main/java/org/lflang/analyses/statespace/StateSpaceNode.java

Public Member Functions