Storm 1.11.1.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | List of all members
storm::jani::ModelFeatures Class Reference

#include <ModelFeatures.h>

Public Member Functions

std::string toString () const
 
bool hasArrays () const
 
bool hasFunctions () const
 
bool hasDerivedOperators () const
 
bool hasStateExitRewards () const
 
bool hasMultiObjectiveProperties () 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 73 of file ModelFeatures.cpp.

◆ asSet()

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

Definition at line 65 of file ModelFeatures.cpp.

◆ empty()

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

Definition at line 69 of file ModelFeatures.cpp.

◆ hasArrays()

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

Definition at line 41 of file ModelFeatures.cpp.

◆ hasDerivedOperators()

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

Definition at line 45 of file ModelFeatures.cpp.

◆ hasFunctions()

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

Definition at line 49 of file ModelFeatures.cpp.

◆ hasMultiObjectiveProperties()

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

Definition at line 57 of file ModelFeatures.cpp.

◆ hasStateExitRewards()

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

Definition at line 53 of file ModelFeatures.cpp.

◆ hasTrigonometricFunctions()

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

Definition at line 61 of file ModelFeatures.cpp.

◆ remove()

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

Definition at line 78 of file ModelFeatures.cpp.

◆ toString()

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

Definition at line 27 of file ModelFeatures.cpp.

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