Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Attributes | List of all members
storm::cli::SymbolicInput Struct Reference

#include <model-handling.h>

Public Attributes

boost::optional< storm::storage::SymbolicModelDescription > model
 
std::vector< storm::jani::Property > properties
 
boost::optional< std::vector< storm::jani::Property > > preprocessedProperties
 

Detailed Description

Definition at line 59 of file model-handling.h.

Member Data Documentation

◆ model

boost::optional<storm::storage::SymbolicModelDescription> storm::cli::SymbolicInput::model

Definition at line 61 of file model-handling.h.

◆ preprocessedProperties

boost::optional<std::vector<storm::jani::Property> > storm::cli::SymbolicInput::preprocessedProperties

Definition at line 67 of file model-handling.h.

◆ properties

std::vector<storm::jani::Property> storm::cli::SymbolicInput::properties

Definition at line 64 of file model-handling.h.

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