alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

mc: correct SPOT_API

Browse source 
* spot/mc/mc.hh: Here.
This commit is contained in:
Etienne Renault 2020-05-14 16:41:13 +02:00
parent 070dc4880a
commit 227627c739
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
spot/mc/mc.hh
View file

@ -30,7 +30,7 @@
namespace spot namespace spot
{ {
/// \brief The list of parallel model-checking algorithms available /// \brief The list of parallel model-checking algorithms available
enum SPOT_API class mc_algorithm enum class SPOT_API mc_algorithm
{ {
BLOEMEN_EC, ///< \brief Bloemen.16.hvc emptiness check BLOEMEN_EC, ///< \brief Bloemen.16.hvc emptiness check
BLOEMEN_SCC, ///< \brief Bloemen.16.ppopp SCC computation BLOEMEN_SCC, ///< \brief Bloemen.16.ppopp SCC computation
@ -40,7 +40,7 @@ namespace spot
SWARMING, ///< \brief Holzmann.11.ieee applied to renault.13.lpar SWARMING, ///< \brief Holzmann.11.ieee applied to renault.13.lpar
}; };
enum SPOT_API class mc_rvalue enum class SPOT_API mc_rvalue
{ {
DEADLOCK, ///< \brief A deadlock has been found DEADLOCK, ///< \brief A deadlock has been found
EMPTY, ///< \brief The product is empty EMPTY, ///< \brief The product is empty