◆ StaminaModelChecker()
stamina.StaminaModelChecker.StaminaModelChecker |
( |
PrismLog |
mainLog | ) |
|
|
inline |
Construct a new Prism object.
- Parameters
-
mainLog | PrismLog where all output will be sent. |
◆ modelCheckStamina()
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
-
The documentation for this class was generated from the following file:
- /home/josh/Documents/Work/Research/stamina/stamina/src/stamina/StaminaModelChecker.java