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

Remove binary integer literals

Browse source 
Remove this notation because Swig only supports it since version 4.0.0,
whereas Spot requires a version greater than or equal to 3.0.2.

* spot/tl/apcollect.hh: Here.
This commit is contained in:
Florian Renkin 2023-11-08 09:57:16 +01:00
parent 9bdc500013
commit 127cb89cad
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
spot/tl/apcollect.hh
View file

@ -87,11 +87,11 @@ namespace spot
public: public:
enum realizability_simplifier_option { enum realizability_simplifier_option {
/// \brief remove APs with single polarity /// \brief remove APs with single polarity
polarity = 0b1, polarity = 1,
/// \brief remove equivalent APs /// \brief remove equivalent APs
global_equiv = 0b10, global_equiv = 2,
/// \brief likewise, but don't consider equivalent input and output /// \brief likewise, but don't consider equivalent input and output
global_equiv_output_only = 0b110, global_equiv_output_only = 6,
}; };
realizability_simplifier(formula f, realizability_simplifier(formula f,