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 AutomataAndEdges &automata_edges)

Public Members

ValueType action_reward

AutomataAndEdges action_edges