FDR  4.2.7(6ecbe5a21b71ab020e8fcaeccfe5ebaad0599f4f)
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