FDR
4.2.7(6ecbe5a21b71ab020e8fcaeccfe5ebaad0599f4f)
libfdr
include
fdr
assertions
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
{
14
class
NegatedAssertion
:
public
Assertion
15
{
16
public
:
17
~
NegatedAssertion
();
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
:
26
NegatedAssertion
();
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
Generated on Mon May 11 2020 18:30:17 for FDR by
1.8.18