Modules | |
TGBA on-the-fly algorithms | |
Input/Output of TGBA | |
Translating LTL formulae into TGBA | |
Algorithm patterns | |
TGBA simplifications | |
Miscellaneous algorithms on TGBA | |
Emptiness-checks | |
Functions | |
tgba_bdd_concrete * | spot::product (const tgba_bdd_concrete *left, const tgba_bdd_concrete *right) |
Multiplies two spot::tgba_bdd_concrete automata. |
|
Multiplies two spot::tgba_bdd_concrete automata. This function builds the resulting product as another spot::tgba_bdd_concrete automaton. |