Struct JaniSmcStatesExpansion::ComputedDestinations

Defined in File jani_smc_states_expansion.hpp

Nested Relationships

This struct is a nested type of Template Class JaniSmcStatesExpansion.

Struct Documentation

struct ComputedDestinations

Public Functions

inline void clear()

Public Members

ActionId related_action

std::vector<std::vector<AutomatonAndDestination>> destinations