probfd::bisimulation Namespace Reference

Description

This namespace contains the implementation of deterministic bisimulation quotients for SSPs, based on merge-and-shrink.

Enumerations
enum class	QuotientState : int
	Represents a state in the probabilistic bisimulation quotient. More...
enum class	QuotientAction : int
	Represents an action in the probabilistic bisimulation quotient. More...

Enumeration Type Documentation

QuotientState

enum class probfd::bisimulation::QuotientState : int

strong

Represents a state in the probabilistic bisimulation quotient.

QuotientAction

enum class probfd::bisimulation::QuotientAction : int

strong

Represents an action in the probabilistic bisimulation quotient.