19 #ifndef SPOT_FASTTGBAALGOS_EC_EC_HH
20 # define SPOT_FASTTGBAALGOS_EC_EC_HH
22 #include "fasttgba/fasttgba.hh"
33 virtual bool check() = 0;
130 #endif // SPOT_FASTTGBAALGOS_EC_EC_HH
Definition: fasttgba.hh:33
const spot::fasttgba * get_automaton() const
return the automaton. Warning ! You don't have to delete the
Definition: ec.hh:91
A simple wrapper for an automaton.
Definition: ec.hh:40
virtual const spot::fasttgba * get_automaton() const =0
return the automaton. Warning ! You don't have to delete the
virtual const spot::fasttgba * get_ba_automaton() const =0
return the automaton as a B\¨uchi Automaton. Warning ! You don't have to delete the ...
A Transition-based Generalized Büchi Automaton.
Definition: tgba.hh:67
virtual bool check()=0
Launch the emptiness check.
virtual const instance_automaton * new_instance()=0
return a new instance of the automaton
const spot::fasttgba * get_ba_automaton() const
return the automaton as a B\¨uchi Automaton. Warning ! You don't have to delete the ...
Definition: ec.hh:96
const instance_automaton * new_instance()
return a new instance of the automaton
Definition: ec.hh:121