|
AI 24/25 Project Software
Documentation for the AI 24/25 course programming project software
|
| ►Nprobfd | The top-level namespace of probabilistic Fast Downward |
| ►Nalgorithms | This namespace contains implementations of SSP search algorithms |
| ►Nacyclic_vi | Namespace dedicated to the acyclic value iteration algorithm |
| CAcyclicValueIteration | Implements acyclic Value Iteration |
| CAcyclicValueIterationObserver | Models an observer subscribed to events of the acyclic value iteration algorithm |
| CStatisticsObserver | An observer that collects basic statistics of the acyclic value iteration algorithm |
| ►Nao_search | Namespace dedicated to the AO* family of MDP algorithms |
| ►Nao_star | Namespace dedicated to the AO* algorithm |
| CAOStar | Implementation of the AO* algorithm |
| CAOBase | Base class for the AO* algorithm family |
| ►Nexhaustive_ao | I do not know this algorithm |
| CExhaustiveAOSearch | Exhaustive AO* search algorithm |
| ►Nexhaustive_dfs | Namespace for anytime TVI |
| CExhaustiveDepthFirstSearch | Implementation of an anytime topological value iteration variant |
| ►Nfret | Namespace dedicated to the Find, Revise, Eliminate Traps (FRET) framework |
| CFRET | Implemetation of the Find-Revise-Eliminate-Traps (FRET) framework [9] |
| ►Nheuristic_depth_first_search | Namespace dedicated to Depth-First Heuristic Search |
| CHeuristicDepthFirstSearch | Implementation of the depth-first heuristic search algorithm family [12] |
| ►Nheuristic_search | Namespace dedicated to the MDP h search base implementation |
| ►Ninternal | |
| CStatistics | Base statistics for MDP h search |
| CFRETHeuristicSearchAlgorithm | Heuristics search algorithm that can be used within FRET |
| CHeuristicSearchAlgorithm | Extends HeuristicSearchBase with default implementations for MDPAlgorithm |
| CHeuristicSearchBase | The common base class for MDP h search algorithms |
| ►Nidual | Namespace dedicated to the i-dual MDP algorithm |
| CIDual | Implementation of the I-Dual algorithm [14] |
| CStatistics | I-Dual algorithm statistics |
| ►Ninterval_iteration | Namespace dedicated to interval iteration on MaxProb MDPs |
| CIntervalIteration | Implemention of interval iteration [7] |
| ►Nlrtdp | Namespace dedicated to labelled real-time dynamic programming (LRTDP) |
| CLRTDP | Implements the labelled real-time dynamic programming (LRTDP) algorithm [3] |
| ►Nta_topological_vi | Namespace dedicated to trap-aware Topological Value Iteration (TATVI) |
| CStatistics | Topological value iteration statistics |
| CTATopologicalValueIteration | Implements a trap-aware variant of Topological Value Iteration |
| ►Ntopological_vi | Namespace dedicated to Topological Value Iteration (TVI) |
| CStatistics | Topological value iteration statistics |
| CTopologicalValueIteration | Implements Topological Value Iteration [5] |
| CClearGuard | Helper RAII class that ensures that containers are cleared when going out of scope |
| Cget_t | Function object calling std::get<n> on its argument. Useful in ranges algorithms |
| COpenList | An interface for open lists used during search algorithms |
| CPolicyPicker | An strategy interface used to choose break ties between multiple greedy actions for a state |
| CStateProperties | Interface providing access to various state properties during heuristic search |
| CSuccessorSampler | An interface used to sample a state from a successor distribution |
| CTransitionSorter | An interface used to reorder a list of transitions |
| ►Ncartesian_abstractions | |
| CAdaptiveFlawGenerator | A flaw generator that uses an incomplete flaw generator, with a complete flaw generator as a backup |
| CCEGARResult | |
| CFlawGenerator | Find flaws in the abstraction |
| CILAOPolicyGenerator | Find an optimal policy using ILAO* |
| CPolicyBasedFlawGenerator | Find flaws using ILAO* |
| ►Nheuristics | This namespace contains heuristic implementations |
| CBlindEvaluator | Returns an estimate of zero for each state |
| CConstantEvaluator | Returns a constant estimate for each state |
| CDeadEndPruningHeuristic | Uses a classical heuristic on the all-outcomes-determinization to prune dead-ends |
| CDeterminizationCostHeuristic | Uses a classical heuristic on the all-outcomes-determinization to estimate the expected costs to reach the goal |
| CLPHeuristic | Base class for heuristics based on linear programming |
| COccupationMeasureHeuristic | Implements an occupation measure heuristic built from the specified LP constraints |
| CProbabilityAwarePDBHeuristic | The probability-aware PDB heuristic |
| ►Noccupation_measures | Namespace dedicated to occupation measure heuristic base classes |
| CHigherOrderHPOMGenerator | Implements the optimal operator cost partitioning heuristic over a set of PDBs |
| CHPOMGenerator | Implements the projection occupation measure heuristic constraints [13] |
| CHROCGenerator | Implements the regrouped operator counting heuristic constraints [13] |
| ►Npdbs | Namespace dedicated to probabilistic pattern databases |
| CMatchTree | Applicable actions generator for projections |
| CPatternCollectionGeneratorClassical | The classical pattern generator adapter |
| CProbabilityAwarePatternDatabase | Implementation of a probability-aware pattern database |
| CProjectionOperator | Represents an operator of a projection state space |
| CProjectionOperatorToString | Helper class to convert projection operators to strings |
| CProjectionStateSpace | Represents the state space of a projection of a probabilistic planning task |
| CStateRankingFunction | Implements the state ranking function for abstract states of projections |
| ►Npolicy_pickers | |
| CStablePolicyPicker | CRTP base class for stable policy picker implementations |
| ►Npreprocessing | This namespace contains preprocessing algorithms for SSPs |
| CECDStatistics | Contains printable statistics for the end component decomposition |
| CEndComponentDecomposition | A builder class that implements end component decomposition |
| CQualitativeReachabilityAnalysis | Algorithm that computes all dead-ends and states with a goal probability of one which are reachable from a given initial state |
| ►Nsolvers | This namespace contains the solver interface base class for various search algorithms |
| CMDPSolver | Base interface for MDP solvers |
| ►Ntasks | This namespace contains implementations of probabilistic planning tasks |
| CDeterminizationTask | Deterministic planning task representing the all-outcomes determinization of a probabilistic planning task |
| Capprox_eq_to | Unary function object for approximate equality comparison |
| Capprox_less | Unary function object for approximate inequality comparison |
| Capprox_neq_to | Unary function object for approximate inequality comparison |
| CCompositeMDP | Composes a state space and a cost function to an MDP |
| CCostFunction | The interface specifying action and state termination costs, aswell as the goal states of a state space |
| CDistribution | A convenience class that represents a finite probability distribution |
| CEvaluator | The interface representing heuristic functions |
| CInterval | Represents a closed interval over the extended reals as a pair of lower and upper bound |
| CItemProbabilityPair | An item-probability pair |
| CMDP | Basic interface for MDPs |
| CMDPAlgorithm | Interface for MDP algorithm implementations |
| CMultiPolicy | Represents a policy that can specify a set of actions for a state |
| Cno_normalize_t | Disambiguator tag type |
| Coverloaded | |
| CPolicy | Represents a deterministic, stationary, partial policy |
| CPolicyDecision | Stores an action and a bounding interval for the Q* value of this action |
| CProbabilisticEffectConditionsProxy | Proxy class used to inspect the list of effect conditions of a conditional effect of a probabilistic operator. Can be used as a range of FactProxies, one for each effect condition |
| CProbabilisticEffectProxy | Proxy class used to inspect a probabilistic effect of a probabilistic operator |
| CProbabilisticEffectsProxy | Proxy class used to inspect the list of probabilistic effects of a probabilistic operator. Can be used as a range of ProbabilisticEffectProxies, one for each probabilistic effect |
| CProbabilisticOperatorProxy | Proxy class used to inspect a single probabilistic operator |
| CProbabilisticOperatorsProxy | Proxy class used to inspect a list of probabilistic operators of a probabilistic task. Can be used as a range of ProbabilisticOperatorProxies, one for each probabilistic operator |
| CProbabilisticOutcomeProxy | Proxy class used to inspect a single probabilistic outcome of a probabilistic operator |
| CProbabilisticOutcomesProxy | Proxy class used to inspect the list of probabilistic outcomes of a probabilistic operator. Can be used as a range of ProbabilisticOutcomeProxies, one for each probabilistic outcome |
| CProbabilisticTask | Represents a probabilistic planning task with axioms and conditional effects |
| CProbabilisticTaskProxy | Proxy class used to inspect a probabilistic planning task |
| CProgressReport | A registry for print functions related to search progress |
| CSimpleMDP | Basic interface for MDPs |
| CSolverInterface | An interface that describes an MDP solver |
| CStateID | A StateID represents a state within a StateIDMap. Just like Fast Downward's StateID type, it is trivial to copy and intended for long term storage |
| CStateSpace | An interface representing a Markov Decision Process (MDP) without objective function |
| CTerminationInfo | Specifies the termination cost and goal status of a state |