Struct SymbolicModelAndProperty

Defined in File parsers.hpp

Struct Documentation

struct SymbolicModelAndProperty

A struct that holds a symbolic model and its properties, since Jani contains both in the same file.

Public Members

storm::storage::SymbolicModelDescription model

std::vector<storm::jani::Property> property