storm::jani::JaniLocationExpander Class Reference

#include <JaniLocationExpander.h>

Classes
struct	NewIndices
struct	ReturnType

Public Member Functions
	JaniLocationExpander (Model const &original)
ReturnType	transform (std::string const &automatonName, std::string const &variableName)
void	excludeLocation (uint64_t index)

Detailed Description

Definition at line 8 of file JaniLocationExpander.h.

Constructor & Destructor Documentation

JaniLocationExpander()

storm::jani::JaniLocationExpander::JaniLocationExpander ( Model const &  original )

explicit

Definition at line 14 of file JaniLocationExpander.cpp.

Member Function Documentation

excludeLocation()

void storm::jani::JaniLocationExpander::excludeLocation

(

uint64_t

index

)

Definition at line 214 of file JaniLocationExpander.cpp.

transform()

JaniLocationExpander::ReturnType storm::jani::JaniLocationExpander::transform	(	std::string const &	automatonName,
		std::string const &	variableName
	)

Definition at line 16 of file JaniLocationExpander.cpp.

---

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

• src/storm/storage/jani/JaniLocationExpander.h
• src/storm/storage/jani/JaniLocationExpander.cpp