Loading...
Searching...
No Matches
ValuationsTest.cpp File Reference
#include <ranges>#include "storm-config.h"#include "test/storm_gtest.h"#include "storm-parsers/parser/PrismParser.h"#include "storm/adapters/JsonAdapter.h"#include "storm/builder/ExplicitModelBuilder.h"#include "storm/exceptions/OutOfRangeException.h"#include "storm/exceptions/WrongFormatException.h"#include "storm/generator/PrismNextStateGenerator.h"#include "storm/storage/expressions/ExpressionManager.h"#include "storm/storage/sparse/ValuationTransformer.h"#include "storm/storage/valuations/ValuationDescriptionBuilder.h"#include "storm/storage/valuations/Valuations.h"#include "storm/storage/valuations/ValuationsStorage.h"
Include dependency graph for ValuationsTest.cpp:
Go to the source code of this file.
Functions | |
| TEST (ValuationTest, StateValuationConstruction) | |
| TEST (ValuationTest, StateValuationTransformation) | |
| TEST (ValuationTest, Valuations2classes) | |
| TEST (ValuationTest, ValuationsSingleClass) | |
| TEST (ValuationTest, ValuationsSelectEntities) | |
| TEST (ValuationTest, RejectsNonCompliantDoubleOrStringSize) | |
| TEST (ValuationTest, OverwriteValues) | |
| TEST (ValuationTest, ResizeInitializesAllNewEntitiesWithDefaults) | |
| TEST (ValuationTest, ResizeMultipleClasses) | |
| TEST (ValuationTest, WriteRejectsValuesThatDoNotFitIntoStoredType) | |
| TEST (ValuationTest, WriteAcceptsFullRangeInt64UintVariable) | |
| TEST (ValuationTest, FailedWriteDoesNotSetPresenceBitOfOptionalVariable) | |
Function Documentation
◆ TEST() [1/12]
| TEST | ( | ValuationTest | , |
| FailedWriteDoesNotSetPresenceBitOfOptionalVariable | ) |
Definition at line 576 of file ValuationsTest.cpp.
◆ TEST() [2/12]
| TEST | ( | ValuationTest | , |
| OverwriteValues | ) |
Definition at line 424 of file ValuationsTest.cpp.
◆ TEST() [3/12]
| TEST | ( | ValuationTest | , |
| RejectsNonCompliantDoubleOrStringSize | ) |
Definition at line 401 of file ValuationsTest.cpp.
◆ TEST() [4/12]
| TEST | ( | ValuationTest | , |
| ResizeInitializesAllNewEntitiesWithDefaults | ) |
Definition at line 449 of file ValuationsTest.cpp.
◆ TEST() [5/12]
| TEST | ( | ValuationTest | , |
| ResizeMultipleClasses | ) |
Definition at line 485 of file ValuationsTest.cpp.
◆ TEST() [6/12]
| TEST | ( | ValuationTest | , |
| StateValuationConstruction | ) |
Definition at line 18 of file ValuationsTest.cpp.
◆ TEST() [7/12]
| TEST | ( | ValuationTest | , |
| StateValuationTransformation | ) |
Definition at line 67 of file ValuationsTest.cpp.
◆ TEST() [8/12]
| TEST | ( | ValuationTest | , |
| Valuations2classes | ) |
Definition at line 113 of file ValuationsTest.cpp.
◆ TEST() [9/12]
| TEST | ( | ValuationTest | , |
| ValuationsSelectEntities | ) |
Definition at line 339 of file ValuationsTest.cpp.
◆ TEST() [10/12]
| TEST | ( | ValuationTest | , |
| ValuationsSingleClass | ) |
Definition at line 248 of file ValuationsTest.cpp.
◆ TEST() [11/12]
| TEST | ( | ValuationTest | , |
| WriteAcceptsFullRangeInt64UintVariable | ) |
Definition at line 561 of file ValuationsTest.cpp.
◆ TEST() [12/12]
| TEST | ( | ValuationTest | , |
| WriteRejectsValuesThatDoNotFitIntoStoredType | ) |
Definition at line 525 of file ValuationsTest.cpp.
