Struct JaniSmcStatesExpansion::PluginHolder

• Defined in File jani_smc_states_expansion.hpp

Nested Relationships

This struct is a nested type of Template Class JaniSmcStatesExpansion.

Struct Documentation

struct PluginHolder

An internal data structure to handle plugin instances and related input expressions.

Public Members

std::unique_ptr<smc_verifiable_plugins::SmcPluginBase> instance_ptr

model_checker::SmcPluginInstance::PluginToModelExpressionMap input_mapping

model_checker::SmcPluginInstance::PluginAndModelVariableVector output_mapping