spot
1.2.4
|
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.