spot
1.2.1a
|
#include <tgbaalgos/scc_decompose.hh>
Public Member Functions | |
scc_decompose (const tgba *a, bool minimize=true) | |
const tgba * | terminal_automaton () |
Return the terminal automaton extracted of the automaton provided to this class. More... | |
const tgba * | weak_automaton () |
Return the weakterminal automaton extracted of the automaton provided to this class. More... | |
const tgba * | strong_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... | |
tgba * | recompose () |
Protected Member Functions | |
void | decompose_strong () |
void | decompose_weak () |
void | decompose_terminal () |
Protected Attributes | |
bool | is_strong |
bool | is_weak |
bool | is_terminal |
scc_map * | sm |
const tgba * | src_ |
const tgba * | terminal_ |
const tgba * | weak_ |
const tgba * | strong_ |
bool | minimize |
This class provides the minimal wrapper to decompose an automaton using strategies
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