FDR
4.2.7(6ecbe5a21b71ab020e8fcaeccfe5ebaad0599f4f)
libfdr
include
fdr
lts
semantic_model.h
1
#pragma once
2
3
#include <cstdint>
4
5
namespace
FDR
6
{
7
namespace
LTS
8
{
10
enum class
SemanticModel : std::uint8_t
11
{
12
Default = 0,
13
Traces = 1,
14
Failures = 2,
15
FailuresDivergences = 3,
16
Refusals = 4,
17
RefusalsDivergences = 5,
18
Revivals = 6,
19
RevivalsDivergences = 7,
20
};
21
22
}
// end LTS
23
}
// end FDR
Generated on Mon May 11 2020 18:30:17 for FDR by
1.8.18