org.lflang.analyses.statespace.StateInfo Class Reference

A class that represents information in a step in a counterexample trace. More...

Public Member Functions
void	display ()

Public Attributes
HashMap< String, String >	payloads = new HashMap<>()
ArrayList< String >	reactions = new ArrayList<>()
HashMap< String, String >	scheduled = new HashMap<>()
Tag	tag
HashMap< String, String >	triggers = new HashMap<>()
HashMap< String, String >	variables = new HashMap<>()

Detailed Description

A class that represents information in a step in a counterexample trace.

Member Function Documentation

display()

void org.lflang.analyses.statespace.StateInfo.display

(

)

Member Data Documentation

payloads

HashMap<String, String> org.lflang.analyses.statespace.StateInfo.payloads = new HashMap<>()

reactions

ArrayList<String> org.lflang.analyses.statespace.StateInfo.reactions = new ArrayList<>()

scheduled

HashMap<String, String> org.lflang.analyses.statespace.StateInfo.scheduled = new HashMap<>()

tag

Tag org.lflang.analyses.statespace.StateInfo.tag

triggers

HashMap<String, String> org.lflang.analyses.statespace.StateInfo.triggers = new HashMap<>()

variables

HashMap<String, String> org.lflang.analyses.statespace.StateInfo.variables = new HashMap<>()

---

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/StateInfo.java