Emptiness-checks

Classes
class	spot::state_ta_product
	A state for spot::ta_product. More...
class	spot::ta_product
	A lazy product between a Testing automaton and a Kripke structure. (States are computed on the fly.) More...
class	spot::ta_check
	Check whether the language of a product (spot::ta_product) between a Kripke structure and a TA is empty. It works also for the product using Generalized TA (GTA and SGTA). More...

Detailed Description