Struct ModelAndProperties

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