spot
1.2.1a
|
Public Member Functions | |
simple_instance (const spot::simple_instance &)=delete | |
simple_instance (const spot::fasttgba *tgba) | |
const spot::fasttgba * | get_automaton () const |
return the automaton. Warning ! You don't have to delete the More... | |
const spot::fasttgba * | get_ba_automaton () const |
return the automaton as a B\¨uchi Automaton. Warning ! You don't have to delete the More... | |
|
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.