Searched defs:ModelCheckerEngine (Results 1 – 1 of 1) sorted by relevance
59 struct ModelCheckerEngine struct64 static constexpr ModelCheckerEngine All() { return {true, true}; } in All() argument65 static constexpr ModelCheckerEngine BMC() { return {true, false}; } in BMC() argument66 static constexpr ModelCheckerEngine CHC() { return {false, true}; } in CHC() argument67 static constexpr ModelCheckerEngine None() { return {false, false}; } in None() argument73 static std::optional<ModelCheckerEngine> fromString(std::string const& _engine) in fromString() argument