00001 #pragma once 00002 00003 #include <cstdint> 00004 00005 namespace FDR 00006 { 00007 namespace LTS 00008 { 00010 enum class SemanticModel : std::uint8_t 00011 { 00012 Default = 0, 00013 Traces = 1, 00014 Failures = 2, 00015 FailuresDivergences = 3, 00016 Refusals = 4, 00017 RefusalsDivergences = 5, 00018 Revivals = 6, 00019 RevivalsDivergences = 7, 00020 }; 00021 00022 } // end LTS 00023 } // end FDR