FDR
4.2.7(6ecbe5a21b71ab020e8fcaeccfe5ebaad0599f4f)
|
3 #include <fdr/assertions/assertion.h>
4 #include <fdr/lts/machine.h>
5 #include <fdr/lts/semantic_model.h>
22 std::shared_ptr<LTS::Machine>
machine()
const;
30 friend struct AssertionFactory;
std::shared_ptr< LTS::Machine > machine() const
The process that this assertion is about.
An assertion about processes.
Definition: property_assertion.h:13
An assertion about processes.
Definition: assertion.h:23
LTS::SemanticModel semantic_model() const
The semantic model this check has been performed in.