JaniLocalEliminator::Action Class Reference

#include <JaniLocalEliminator.h>

Inheritance diagram for JaniLocalEliminator::Action:

Public Member Functions
virtual	~Action ()=default
virtual std::string	getDescription ()=0
virtual void	doAction (Session &session)=0

Detailed Description

Definition at line 74 of file JaniLocalEliminator.h.

Constructor & Destructor Documentation

~Action()

virtual storm::jani::JaniLocalEliminator::Action::~Action ( )

virtualdefault

Member Function Documentation

doAction()

virtual void storm::jani::JaniLocalEliminator::Action::doAction ( Session & session )

pure virtual

getDescription()

virtual std::string storm::jani::JaniLocalEliminator::Action::getDescription ( )

pure virtual

---

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

• src/storm/storage/jani/localeliminator/JaniLocalEliminator.h