Dynamically create emptiness checks. Given their name and options.
More...
#include <spot/twaalgos/emptiness.hh>
|
| emptiness_check_instantiator (option_map o, void *i) |
|
Dynamically create emptiness checks. Given their name and options.
emptiness_check_ptr spot::emptiness_check_instantiator::instantiate |
( |
const const_twa_ptr & |
a | ) |
const |
Actually instantiate the emptiness check, for a.
unsigned int spot::emptiness_check_instantiator::max_sets |
( |
| ) |
const |
Maximum number of acceptance conditions supported by the emptiness check.
- Returns
-1U
if no upper bound exists.
unsigned int spot::emptiness_check_instantiator::min_sets |
( |
| ) |
const |
Minimum number of acceptance sets supported by the emptiness check.
const option_map& spot::emptiness_check_instantiator::options |
( |
| ) |
const |
|
inline |
option_map& spot::emptiness_check_instantiator::options |
( |
| ) |
|
|
inline |
The documentation for this class was generated from the following file: