#include <ModelFeatures.h>

Public Member Functions
std::string	toString () const

bool	hasArrays () const

bool	hasFunctions () const

bool	hasDerivedOperators () const

bool	hasStateExitRewards () const

bool	hasTrigonometricFunctions () const

bool	empty () const

std::set< ModelFeature > const &	asSet () const

ModelFeatures &	add (ModelFeature const &modelFeature)

void	remove (ModelFeature const &modelFeature)

Detailed Description

Definition at line 13 of file ModelFeatures.h.

Member Function Documentation

◆ add()

ModelFeatures & storm::jani::ModelFeatures::add ( ModelFeature const & modelFeature )

Definition at line 67 of file ModelFeatures.cpp.

◆ asSet()

std::set< ModelFeature > const & storm::jani::ModelFeatures::asSet ( ) const

Definition at line 59 of file ModelFeatures.cpp.

◆ empty()

bool storm::jani::ModelFeatures::empty ( ) const

Definition at line 63 of file ModelFeatures.cpp.

◆ hasArrays()

bool storm::jani::ModelFeatures::hasArrays ( ) const

Definition at line 39 of file ModelFeatures.cpp.

◆ hasDerivedOperators()

bool storm::jani::ModelFeatures::hasDerivedOperators ( ) const

Definition at line 43 of file ModelFeatures.cpp.

◆ hasFunctions()

bool storm::jani::ModelFeatures::hasFunctions ( ) const

Definition at line 47 of file ModelFeatures.cpp.

◆ hasStateExitRewards()

bool storm::jani::ModelFeatures::hasStateExitRewards ( ) const

Definition at line 51 of file ModelFeatures.cpp.

◆ hasTrigonometricFunctions()

bool storm::jani::ModelFeatures::hasTrigonometricFunctions ( ) const

Definition at line 55 of file ModelFeatures.cpp.

◆ remove()

void storm::jani::ModelFeatures::remove ( ModelFeature const & modelFeature )

Definition at line 72 of file ModelFeatures.cpp.

◆ toString()

std::string storm::jani::ModelFeatures::toString ( ) const

Definition at line 25 of file ModelFeatures.cpp.

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

src/storm/storage/jani/ModelFeatures.h
src/storm/storage/jani/ModelFeatures.cpp

Public Member Functions