spot
2.9.8.dev
|
A struct that represents different types of strategy like objects. More...
#include <spot/twaalgos/synthesis.hh>
Public Attributes | |
int | success |
twa_graph_ptr | strat_like |
bdd | glob_cond |
A struct that represents different types of strategy like objects.