Main Page | Modules | Namespace List | Class Hierarchy | Class List | Directories | File List | Namespace Members | Class Members | File Members | Related Pages

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.
const option_mapoptions () const
option_mapoptions ()
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.

Static Public Member Functions

static emptiness_check_instantiatorconstruct (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]
 

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

Accessor to the options.


Member Data Documentation

void* spot::emptiness_check_instantiator::info_ [private]
 

option_map spot::emptiness_check_instantiator::o_ [private]
 


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 Wed Jan 25 14:56:46 2006 for spot by doxygen 1.4.0