20 #ifndef SPOT_TGBA_TGBABDDCONCRETEPRODUCT_HH
21 # define SPOT_TGBA_TGBABDDCONCRETEPRODUCT_HH
23 #include "tgbabddconcrete.hh"
32 SPOT_API tgba_bdd_concrete*
33 product(
const tgba_bdd_concrete* left,
const tgba_bdd_concrete* right);
36 #endif // SPOT_TGBA_TGBABDDCONCRETEPRODUCT_HH
this class acts like a wrapper to the C code of the open_set.
Definition: public.hh:32
SPOT_API tgba_bdd_concrete * product(const tgba_bdd_concrete *left, const tgba_bdd_concrete *right)
Multiplies two spot::tgba_bdd_concrete automata.