probfd::preprocessing Namespace Reference

Description

This namespace contains preprocessing algorithms for SSPs.

Classes
struct	ECDStatistics
	Contains printable statistics for the end component decomposition. More...
class	EndComponentDecomposition
	A builder class that implements end component decomposition. More...
class	QualitativeReachabilityAnalysis
	Algorithm that computes all dead-ends and states with a goal probability of one which are reachable from a given initial state. More...