Struct ModelAndProperties

• Defined in File model_and_properties.hpp

Struct Documentation

struct ModelAndProperties

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> properties

std::vector<model_checker::SmcPluginInstance> plugins