spot  1.2.6
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
Public Member Functions | Static Public Member Functions | List of all members
spot::emptiness_check_instantiator Class Reference
Collaboration diagram for spot::emptiness_check_instantiator:
Collaboration graph

Public Member Functions

emptiness_checkinstantiate (const tgba *a) const
 Actually instantiate the emptiness check, for a. More...
 
unsigned int min_acceptance_conditions () const
 Minimum number of acceptance conditions supported by the emptiness check. More...
 
unsigned int max_acceptance_conditions () const
 Maximum number of acceptance conditions supported by the emptiness check. More...
 
const option_mapoptions () const
 
option_mapoptions ()
 

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. More...
 

Member Function Documentation

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.

Returns
-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.


The documentation for this class was generated from the following file:

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Sat Dec 6 2014 12:28:44 for spot by doxygen 1.8.4