|
spot
1.2.6
|
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 | |
| SPOT_API tgba_bdd_concrete * | spot::product (const tgba_bdd_concrete *left, const tgba_bdd_concrete *right) |
| Multiplies two spot::tgba_bdd_concrete automata. More... | |
| SPOT_API tgba_bdd_concrete* spot::product | ( | const tgba_bdd_concrete * | left, |
| const tgba_bdd_concrete * | right | ||
| ) |
Multiplies two spot::tgba_bdd_concrete automata.
This function builds the resulting product as another spot::tgba_bdd_concrete automaton.
1.8.4