Inheritance diagram for stamina.StaminaModelChecker:

Public Member Functions
	StaminaModelChecker (PrismLog mainLog)

Result	modelCheckStamina (PropertiesFile propertiesFile, Property prop) throws PrismException

Constructor & Destructor Documentation

◆ StaminaModelChecker()

stamina.StaminaModelChecker.StaminaModelChecker ( PrismLog mainLog )

inline

Construct a new Prism object.

Parameters

mainLog PrismLog where all output will be sent.

Result stamina.StaminaModelChecker.modelCheckStamina	(	PropertiesFile	propertiesFile,
		Property	prop
	)		throws PrismException

inline

Perform model checking of a property on the currently loaded model and return result.

Parameters

propertiesFile	Parent property file of property (for labels/constants/...)
prop	The property to check

Exceptions

FileNotFoundException

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

/home/josh/Documents/Work/Research/stamina/stamina/src/stamina/StaminaModelChecker.java