JaniLocalEliminator::EliminationScheduler Class Reference

#include <JaniLocalEliminator.h>

Public Member Functions
	EliminationScheduler ()
std::unique_ptr< Action >	getNextAction ()
void	addAction (std::unique_ptr< Action > action)

Detailed Description

Definition at line 81 of file JaniLocalEliminator.h.

Constructor & Destructor Documentation

EliminationScheduler()

storm::jani::JaniLocalEliminator::EliminationScheduler::EliminationScheduler

(

)

Definition at line 247 of file JaniLocalEliminator.cpp.

Member Function Documentation

addAction()

void storm::jani::JaniLocalEliminator::EliminationScheduler::addAction

(

std::unique_ptr< Action >

action

)

Definition at line 258 of file JaniLocalEliminator.cpp.

getNextAction()

std::unique_ptr< JaniLocalEliminator::Action > storm::jani::JaniLocalEliminator::EliminationScheduler::getNextAction

(

)

Definition at line 249 of file JaniLocalEliminator.cpp.

---

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

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