spot::emptiness_check_instantiator Class Reference
[Emptiness-checks]

#include <tgbaalgos/emptiness.hh>

Collaboration diagram for spot::emptiness_check_instantiator:

[legend]List of all members.

Public Member Functions
emptiness_check *	instantiate (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_map &	options () const
option_map &	options ()
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.

const option_map& spot::emptiness_check_instantiator::options

(

)

const [inline]

Accessor to the options.

option_map& spot::emptiness_check_instantiator::options

(

)

[inline]

unsigned int spot::emptiness_check_instantiator::min_acceptance_conditions

(

)

const

Minimum number of acceptance conditions supported by the emptiness check.

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.

---

Member Data Documentation

option_map spot::emptiness_check_instantiator::o_ [private]

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

---

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

• tgbaalgos/emptiness.hh

---

Please comment this page and report errors about it on the RefDocComments page.