Infinite state-space truncator which generates a probability within a window
Public Member Functions | Public Attributes | List of all members
stamina::Stamina Class Reference

Public Member Functions

 Stamina (struct arguments *arguments)
 ~Stamina ()
void run ()
void initialize ()

Public Attributes

std::shared_ptr< core::StaminaModelCheckermodelChecker
std::shared_ptr< storm::prism::Program > modelFile
std::shared_ptr< std::vector< storm::jani::Property > > propertiesVector

Constructor & Destructor Documentation

◆ Stamina()

stamina::Stamina::Stamina ( struct arguments arguments)

Main construtor: creates an instance of the STAMINA class

argumentsArguments struct from StaminaArgParse

◆ ~Stamina()

stamina::Stamina::~Stamina ( )

Destructor. Cleans up memory

Member Function Documentation

◆ initialize()

void stamina::Stamina::initialize ( )

Initializes Stamina

◆ run()

void stamina::Stamina::run ( )

Runs stamina

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