Loading...
Searching...
No Matches
ToStateBasedObservationTransformerTest.cpp File Reference
#include <cstdint>#include <memory>#include <tuple>#include <utility>#include <vector>#include "test/storm_gtest.h"#include "storm-pomdp/transformer/ToStateBasedObservationTransformer.h"#include "storm/models/sparse/ChoiceLabeling.h"#include "storm/models/sparse/Mdp.h"#include "storm/models/sparse/Pomdp.h"#include "storm/models/sparse/StandardRewardModel.h"#include "storm/models/sparse/StateLabeling.h"#include "storm/storage/SparseMatrix.h"#include "storm/storage/sparse/ModelComponents.h"
Include dependency graph for ToStateBasedObservationTransformerTest.cpp:
Go to the source code of this file.
Functions | |
| TEST (ToStateBasedObservationTransformer, PassesLocalActionIndicesToCallback) | |
| TEST (ToStateBasedObservationTransformer, KeepsNonInitialStateWithoutIncomingTransitions) | |
| TEST (ToStateBasedObservationTransformer, RewardAwareTransformationKeepsUnreachableState) | |
| TEST (ToStateBasedObservationTransformer, DropsUnreachableStateWithDifferentActionCount) | |
| TEST (ToStateBasedObservationTransformer, DropsDisconnectedCycle) | |
| TEST (ToStateBasedObservationTransformer, RemapsMetadataAndIgnoresUnreachablePredecessorObservations) | |
| TEST (ToStateBasedObservationTransformer, RetainsAllInitialStates) | |
| TEST (ToStateBasedObservationTransformer, IgnoresZeroProbabilityTransitionsWhenDroppingUnreachableStates) | |
| TEST (ToStateBasedObservationTransformer, RewardAwareTransformationDropsUnreachableState) | |
Function Documentation
◆ TEST() [1/9]
| TEST | ( | ToStateBasedObservationTransformer | , |
| DropsDisconnectedCycle | ) |
Definition at line 137 of file ToStateBasedObservationTransformerTest.cpp.
◆ TEST() [2/9]
| TEST | ( | ToStateBasedObservationTransformer | , |
| DropsUnreachableStateWithDifferentActionCount | ) |
Definition at line 109 of file ToStateBasedObservationTransformerTest.cpp.
◆ TEST() [3/9]
| TEST | ( | ToStateBasedObservationTransformer | , |
| IgnoresZeroProbabilityTransitionsWhenDroppingUnreachableStates | ) |
Definition at line 261 of file ToStateBasedObservationTransformerTest.cpp.
◆ TEST() [4/9]
| TEST | ( | ToStateBasedObservationTransformer | , |
| KeepsNonInitialStateWithoutIncomingTransitions | ) |
Definition at line 76 of file ToStateBasedObservationTransformerTest.cpp.
◆ TEST() [5/9]
| TEST | ( | ToStateBasedObservationTransformer | , |
| PassesLocalActionIndicesToCallback | ) |
Definition at line 60 of file ToStateBasedObservationTransformerTest.cpp.
◆ TEST() [6/9]
| TEST | ( | ToStateBasedObservationTransformer | , |
| RemapsMetadataAndIgnoresUnreachablePredecessorObservations | ) |
Definition at line 162 of file ToStateBasedObservationTransformerTest.cpp.
◆ TEST() [7/9]
| TEST | ( | ToStateBasedObservationTransformer | , |
| RetainsAllInitialStates | ) |
Definition at line 232 of file ToStateBasedObservationTransformerTest.cpp.
◆ TEST() [8/9]
| TEST | ( | ToStateBasedObservationTransformer | , |
| RewardAwareTransformationDropsUnreachableState | ) |
Definition at line 294 of file ToStateBasedObservationTransformerTest.cpp.
◆ TEST() [9/9]
| TEST | ( | ToStateBasedObservationTransformer | , |
| RewardAwareTransformationKeepsUnreachableState | ) |
Definition at line 94 of file ToStateBasedObservationTransformerTest.cpp.
