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)

Protected Attributes
option_map	o_
void *	info_

Detailed Description

Dynamically create emptiness checks. Given their name and options.

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.

---

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

• spot/twaalgos/emptiness.hh