spot
2.9.8.dev
|
A struct that represents different types of strategy like objects. More...
#include <spot/twaalgos/synthesis.hh>
Public Types | |
enum class | realizability_code { UNREALIZABLE , UNKNOWN , REALIZABLE_REGULAR , REALIZABLE_DTGBA } |
Public Attributes | |
realizability_code | success |
twa_graph_ptr | strat_like |
bdd | glob_cond |
A struct that represents different types of strategy like objects.