Uses of Class
org.oristool.models.ValidationMessageCollector

Packages that use ValidationMessageCollector

Package	Description
org.oristool.models	Provides classes for the analysis of different models.
org.oristool.models.gspn	Analysis of GSPNs.
org.oristool.models.gspn.reachability	Reachability analysis in GSPNs.
org.oristool.models.stpn.onegen	Analysis of MRPs under enabling restriction.
org.oristool.models.stpn.steady	Steady-state analysis of MRPs.
org.oristool.models.stpn.trans	Transient analysis of MRPs and GSMPs.
org.oristool.models.tpn	Analysis of TPNs.

Uses of ValidationMessageCollector in org.oristool.models

Methods in org.oristool.models with parameters of type ValidationMessageCollector

Modifier and Type	Method	Description
boolean	Engine.canAnalyze(M model, ValidationMessageCollector collector)	Checks if the analysis can be applied to the given model.

Uses of ValidationMessageCollector in org.oristool.models.gspn

Methods in org.oristool.models.gspn with parameters of type ValidationMessageCollector

Modifier and Type	Method	Description
boolean	GSPNSteadyState.canAnalyze(PetriNet pn, ValidationMessageCollector c)
boolean	GSPNTransient.canAnalyze(PetriNet pn, ValidationMessageCollector c)

Uses of ValidationMessageCollector in org.oristool.models.gspn.reachability

Methods in org.oristool.models.gspn.reachability with parameters of type ValidationMessageCollector

Modifier and Type	Method	Description
boolean	GSPNReachability.canAnalyze(PetriNet pn, ValidationMessageCollector c)

Uses of ValidationMessageCollector in org.oristool.models.stpn.onegen

Methods in org.oristool.models.stpn.onegen with parameters of type ValidationMessageCollector

Modifier and Type	Method	Description
boolean	OneGenTransient.canAnalyze(PetriNet pn, ValidationMessageCollector c)

Uses of ValidationMessageCollector in org.oristool.models.stpn.steady

Methods in org.oristool.models.stpn.steady with parameters of type ValidationMessageCollector

Modifier and Type	Method	Description
boolean	RegSteadyState.canAnalyze(PetriNet pn, ValidationMessageCollector c)

Uses of ValidationMessageCollector in org.oristool.models.stpn.trans

Methods in org.oristool.models.stpn.trans with parameters of type ValidationMessageCollector

Modifier and Type	Method	Description
boolean	RegTransient.canAnalyze(PetriNet pn, ValidationMessageCollector c)
boolean	TreeTransient.canAnalyze(PetriNet pn, ValidationMessageCollector c)

Uses of ValidationMessageCollector in org.oristool.models.tpn

Methods in org.oristool.models.tpn with parameters of type ValidationMessageCollector

Modifier and Type	Method	Description
boolean	TimedAnalysis.canAnalyze(PetriNet pn, ValidationMessageCollector c)