spot  1.2.1a
Public Member Functions | Protected Member Functions | Protected Attributes | List of all members
spot::scc_decompose Class Reference

#include <tgbaalgos/scc_decompose.hh>

Collaboration diagram for spot::scc_decompose:
Collaboration graph

Public Member Functions

 scc_decompose (const tgba *a, bool minimize=true)
 
const tgbaterminal_automaton ()
 Return the terminal automaton extracted of the automaton provided to this class. More...
 
const tgbaweak_automaton ()
 Return the weakterminal automaton extracted of the automaton provided to this class. More...
 
const tgbastrong_automaton ()
 Return the strong automaton extracted of the automaton provided to this class. More...
 
void decompose ()
 This function perform a decomposition into many automatons on which emptiness checks should be performed. More...
 
tgbarecompose ()
 

Protected Member Functions

void decompose_strong ()
 
void decompose_weak ()
 
void decompose_terminal ()
 

Protected Attributes

bool is_strong
 
bool is_weak
 
bool is_terminal
 
scc_mapsm
 
const tgbasrc_
 
const tgbaterminal_
 
const tgbaweak_
 
const tgbastrong_
 
bool minimize
 

Detailed Description

This class provides the minimal wrapper to decompose an automaton using strategies

Member Function Documentation

void spot::scc_decompose::decompose ( )

This function perform a decomposition into many automatons on which emptiness checks should be performed.

const tgba* spot::scc_decompose::strong_automaton ( )

Return the strong automaton extracted of the automaton provided to this class.

If there is no strong automaton associated this function will return 0

This function may call decompose function

const tgba* spot::scc_decompose::terminal_automaton ( )

Return the terminal automaton extracted of the automaton provided to this class.

If there is no terminal automaton associated this function will return 0

This function may call decompose function

const tgba* spot::scc_decompose::weak_automaton ( )

Return the weakterminal automaton extracted of the automaton provided to this class.

If there is no weak automaton associated this function will return 0

This function may call decompose function


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

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Fri Jun 5 2015 11:31:20 for spot by doxygen 1.8.9.1