Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
storm::utility::pfinternal::Features Struct Reference

Public Member Functions

 Features (storm::jani::Model const &model, storm::jani::Property const &property)
 
std::string toString () const
 

Public Attributes

bool continuousTime
 
bool nondeterminism
 
PropertyType propertyType
 
uint64_t numVariables
 
uint64_t numAutomata
 
uint64_t numEdges
 
uint64_t stateDomainSize
 
uint64_t stateEstimate
 
double avgDomainSize
 

Detailed Description

Definition at line 34 of file AutomaticSettings.cpp.

Constructor & Destructor Documentation

◆ Features()

storm::utility::pfinternal::Features::Features ( storm::jani::Model const &  model,
storm::jani::Property const &  property 
)
inline

Definition at line 35 of file AutomaticSettings.cpp.

Member Function Documentation

◆ toString()

std::string storm::utility::pfinternal::Features::toString ( ) const
inline

Definition at line 48 of file AutomaticSettings.cpp.

Member Data Documentation

◆ avgDomainSize

double storm::utility::pfinternal::Features::avgDomainSize

Definition at line 85 of file AutomaticSettings.cpp.

◆ continuousTime

bool storm::utility::pfinternal::Features::continuousTime

Definition at line 77 of file AutomaticSettings.cpp.

◆ nondeterminism

bool storm::utility::pfinternal::Features::nondeterminism

Definition at line 78 of file AutomaticSettings.cpp.

◆ numAutomata

uint64_t storm::utility::pfinternal::Features::numAutomata

Definition at line 81 of file AutomaticSettings.cpp.

◆ numEdges

uint64_t storm::utility::pfinternal::Features::numEdges

Definition at line 82 of file AutomaticSettings.cpp.

◆ numVariables

uint64_t storm::utility::pfinternal::Features::numVariables

Definition at line 80 of file AutomaticSettings.cpp.

◆ propertyType

PropertyType storm::utility::pfinternal::Features::propertyType

Definition at line 79 of file AutomaticSettings.cpp.

◆ stateDomainSize

uint64_t storm::utility::pfinternal::Features::stateDomainSize

Definition at line 83 of file AutomaticSettings.cpp.

◆ stateEstimate

uint64_t storm::utility::pfinternal::Features::stateEstimate

Definition at line 84 of file AutomaticSettings.cpp.

The documentation for this struct was generated from the following file: