Struct JaniSmcStatesExpansion::ActionDescription

Defined in File jani_smc_states_expansion.hpp

Nested Relationships

This struct is a nested type of Template Class JaniSmcStatesExpansion.

Struct Documentation

struct ActionDescription

Public Functions

inline ActionDescription(const ValueType &reward, const std::vector<AutomatonAndEdge> &automata_edges)

Public Members

const ValueType action_reward

const std::vector<AutomatonAndEdge> action_edges