stamina::Stamina Class Reference

Public Member Functions
	Stamina (struct arguments *arguments)
	~Stamina ()
void	run ()
void	initialize ()

Public Attributes
std::shared_ptr< core::StaminaModelChecker >	modelChecker
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

Parameters

arguments

Arguments 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:

• /home/josh/Documents/Work/stamina-cplusplus/src/stamina/Stamina.h
• /home/josh/Documents/Work/stamina-cplusplus/src/stamina/Stamina.cpp