spot::emptiness_check_instantiator Class Reference
[Emptiness-checks]

#include <tgbaalgos/emptiness.hh>

Collaboration diagram for spot::emptiness_check_instantiator:
Collaboration graph
[legend]

List of all members.

Public Member Functions

emptiness_checkinstantiate (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_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.

Private Member Functions

 emptiness_check_instantiator (option_map o, void *i)

Private Attributes

option_map o_
void * info_

Constructor & Destructor Documentation

spot::emptiness_check_instantiator::emptiness_check_instantiator ( option_map  o,
void *  i 
) [private]

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.

option_map& spot::emptiness_check_instantiator::options (  )  [inline]

References o_.

const option_map& spot::emptiness_check_instantiator::options (  )  const [inline]

Accessor to the options.

References o_.


Member Data Documentation

Referenced by options().


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

Please comment this page and report errors about it on the RefDocComments page.
Generated on Fri Apr 16 09:43:27 2010 for spot by doxygen 1.6.3