FDR  4.2.7(6ecbe5a21b71ab020e8fcaeccfe5ebaad0599f4f)
negated_assertion.h
1 #pragma once
2 
3 #include <fdr/assertions/assertion.h>
4 #include <fdr/lts/machine.h>
5 #include <fdr/lts/semantic_model.h>
6 
7 namespace FDR
8 {
9 namespace Assertions
10 {
15 {
16 public:
18 
19  NegatedAssertion(const NegatedAssertion& assertion) = delete;
20  NegatedAssertion& operator=(const NegatedAssertion& assertion) = delete;
21 
23  std::shared_ptr<Assertion> inner_assertion() const;
24 
25 private:
27 
28  friend struct AssertionFactory;
29 };
30 
31 } // end Assertions
32 } // end FDR
FDR::Assertions::NegatedAssertion::inner_assertion
std::shared_ptr< Assertion > inner_assertion() const
The inner assertion, i.e. the assertion that is being negated.
FDR::Assertions::Assertion
An assertion about processes.
Definition: assertion.h:23
FDR::Assertions::NegatedAssertion
A negated assertion.
Definition: negated_assertion.h:15