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 spot::tgba *weak=0, const spot::tgba *terminal=0) | |
const fasttgba * | get_automaton () const |
return the automaton. Warning ! You don't have to delete the More... | |
const spot::fasttgba * | get_weak_automaton () const |
return a weak instance of the automaton More... | |
const spot::fasttgba * | get_terminal_automaton () const |
return a terminal instance of the automaton More... | |
const fasttgba * | get_kripke () const |
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.
References spot::tgba_2_fasttgba().
Referenced by get_ba_automaton().
|
inlinevirtual |
return the automaton as a B\¨uchi Automaton. Warning ! You don't have to delete the
Implements spot::instance_automaton.
References spot::degeneralize(), get_automaton(), spot::tgba::number_of_acceptance_conditions(), and spot::tgba_2_fasttgba().
|
inlinevirtual |
return a terminal instance of the automaton
Implements spot::instance_automaton.
References spot::tgba_2_fasttgba().
|
inlinevirtual |
return a weak instance of the automaton
Implements spot::instance_automaton.
References spot::tgba_2_fasttgba().