spot  1.1.4
Classes | Functions
TGBA on-the-fly algorithms

Classes

class  spot::tgba_kv_complement
 Build a complemented automaton. More...
 
class  spot::state_product
 A state for spot::tgba_product. More...
 
class  spot::tgba_safra_complement
 Build a complemented automaton. More...
 
class  spot::tgba_sgba_proxy
 Change the labeling-mode of spot::tgba on the fly, producing a state-based generalized Büchi automaton. More...
 
class  spot::tgba_tba_proxy
 Degeneralize a spot::tgba on the fly, producing a TBA. More...
 
class  spot::tgba_sba_proxy
 Degeneralize a spot::tgba on the fly, producing an SBA. More...
 
class  spot::state_union
 A state for spot::tgba_union. More...
 

Functions

tgba * spot::wdba_complement (const tgba *aut)
 Complement a weak deterministic Büchi automaton. More...
 

Detailed Description

Function Documentation

tgba* spot::wdba_complement ( const tgba *  aut)

Complement a weak deterministic Büchi automaton.

Parameters
auta weak deterministic Büchi automaton to complement
Returns
a new automaton that recognizes the complement language

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Mon Jul 29 2013 00:27:25 for spot by doxygen 1.8.4