spot
1.2.1a
|
#include <dve2fasttgba/dve2.hh>
Public Member Functions | |
dve2product_instance (const spot::dve2product_instance &)=delete | |
dve2product_instance (const spot::tgba *tgba, std::string filename) | |
const fasttgba * | get_automaton () const |
return the automaton. Warning ! You don't have to delete the More... | |
const fasttgba * | get_formula_automaton () const |
const fasttgba * | get_ba_automaton () const |
return the automaton as a B\¨uchi Automaton. Warning ! You don't have to delete the More... | |
Wrapper around the product automaton of a system and a fasttgba
|
inlinevirtual |
return the automaton. Warning ! You don't have to delete the
Implements spot::instance_automaton.
|
inlinevirtual |
return the automaton as a B\¨uchi Automaton. Warning ! You don't have to delete the
Implements spot::instance_automaton.