spot
0.9.1
|
#include <tgbaalgos/emptiness.hh>
Public Member Functions | |
emptiness_check * | instantiate (const tgba *a) const |
Actually instantiate the emptiness check, for a. | |
unsigned int | min_acceptance_conditions () const |
Minimum number of acceptance conditions supported by the emptiness check. | |
unsigned int | max_acceptance_conditions () const |
Maximum number of acceptance conditions supported by the emptiness check. | |
const option_map & | options () const |
option_map & | options () |
Static Public Member Functions | |
static emptiness_check_instantiator * | construct (const char *name, const char **err) |
Create an emptiness-check instantiator, given the name of an emptiness check. | |
Private Member Functions | |
emptiness_check_instantiator (option_map o, void *i) | |
Private Attributes | |
option_map | o_ |
void * | info_ |
spot::emptiness_check_instantiator::emptiness_check_instantiator | ( | option_map | o, |
void * | i | ||
) | [private] |
static emptiness_check_instantiator* spot::emptiness_check_instantiator::construct | ( | const char * | name, |
const char ** | err | ||
) | [static] |
Create an emptiness-check instantiator, given the name of an emptiness check.
name should have the form "name"
or "name(options)"
.
On error, the function returns 0. If the name of the algorithm was unknown, *err
will be set to name
. If some fragment of the options could not be parsed, *err
will point to that fragment.
emptiness_check* spot::emptiness_check_instantiator::instantiate | ( | const tgba * | a | ) | const |
Actually instantiate the emptiness check, for a.
unsigned int spot::emptiness_check_instantiator::max_acceptance_conditions | ( | ) | const |
Maximum number of acceptance conditions supported by the emptiness check.
-1U
if no upper bound exists. unsigned int spot::emptiness_check_instantiator::min_acceptance_conditions | ( | ) | const |
Minimum number of acceptance conditions supported by the emptiness check.
const option_map& spot::emptiness_check_instantiator::options | ( | ) | const [inline] |
Accessor to the options.
References o_.
option_map& spot::emptiness_check_instantiator::options | ( | ) | [inline] |
References o_.
void* spot::emptiness_check_instantiator::info_ [private] |
Referenced by options().