kloessner/probfd/probfd_2bisimulation_2types_8h_source.html

#ifndef PROBFD_BISIMULATION_TYPES_H

#define PROBFD_BISIMULATION_TYPES_H


namespace probfd::bisimulation {


enum class QuotientState : int {};


enum class QuotientAction : int {};


} // namespace probfd::bisimulation


#endif

probfd::bisimulation
This namespace contains the implementation of deterministic bisimulation quotients for SSPs,...
Definition bisimilar_state_space.h:33

probfd::bisimulation::QuotientAction
QuotientAction
Represents an action in the probabilistic bisimulation quotient.
Definition types.h:12

probfd::bisimulation::QuotientState
QuotientState
Represents a state in the probabilistic bisimulation quotient.
Definition types.h:9