Storm
A Modern Probabilistic Model Checker
•All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
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 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: