probfd::preprocessing::QualitativeReachabilityAnalysis< State, Action > Class Template Reference

#include "probfd/preprocessing/qualitative_reachability_analysis.h"

Description

template<typename State, typename Action>
class probfd::preprocessing::QualitativeReachabilityAnalysis< State, Action >

Algorithm that computes all dead-ends and states with a goal probability of one which are reachable from a given initial state.

Template Parameters

State	- The state type of the underlying MDP model.
Action	- The action type of the underlying MDP model.