spot::emptiness_check_instantiator Class Reference

Dynamically create emptiness checks. Given their name and options. More...

#include <spot/twaalgos/emptiness.hh>

Collaboration diagram for spot::emptiness_check_instantiator:

Public Member Functions
emptiness_check_ptr	instantiate (const const_twa_ptr &a) const
	Actually instantiate the emptiness check, for a. More...
unsigned int	min_sets () const
	Minimum number of acceptance sets supported by the emptiness check. More...
unsigned int	max_sets () const
	Maximum number of acceptance conditions supported by the emptiness check. More...
const option_map &	options () const
option_map &	options ()

Protected Member Functions
	emptiness_check_instantiator (option_map o, void *i)
	Construct an instantiator from options and implementation info. More...

Protected Attributes
option_map	o_
	The options. More...
void *	info_
	Opaque pointer to implementation-specific data. More...

Detailed Description

Dynamically create emptiness checks. Given their name and options.

Constructor & Destructor Documentation

emptiness_check_instantiator()

spot::emptiness_check_instantiator::emptiness_check_instantiator ( option_map  o, void *  i  )

protected

Construct an instantiator from options and implementation info.

Member Function Documentation

instantiate()

emptiness_check_ptr spot::emptiness_check_instantiator::instantiate

(

const const_twa_ptr &

a

)

const

Actually instantiate the emptiness check, for a.

max_sets()

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.

min_sets()

unsigned int spot::emptiness_check_instantiator::min_sets

(

)

const

Minimum number of acceptance sets supported by the emptiness check.

options() [1/2]

option_map& spot::emptiness_check_instantiator::options ( )

inline

Accessor to the options.

options() [2/2]

const option_map& spot::emptiness_check_instantiator::options ( ) const

inline

Accessor to the options.

Member Data Documentation

info_

void* spot::emptiness_check_instantiator::info_

protected

Opaque pointer to implementation-specific data.

o_

option_map spot::emptiness_check_instantiator::o_

protected

The options.

---

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

• spot/twaalgos/emptiness.hh