19 #ifndef SPOT_FASTTGBAALGOS_EC_EC_HH
20 # define SPOT_FASTTGBAALGOS_EC_EC_HH
22 #include "fasttgba/fasttgba.hh"
33 virtual bool check() = 0;
172 #endif // SPOT_FASTTGBAALGOS_EC_EC_HH
this class acts like a wrapper to the C code of the open_set.
Definition: public.hh:32
virtual const spot::fasttgba * get_terminal_automaton() const =0
return a terminal instance of the automaton
virtual bool have_terminal()
Return wether there is a terminal instance.
Definition: ec.hh:158
Definition: fasttgba.hh:33
const spot::fasttgba * get_weak_automaton() const
return a weak instance of the automaton
Definition: ec.hh:119
virtual bool have_strong()=0
Return wether there is a weak instance.
const spot::fasttgba * get_terminal_automaton() const
return a terminal instance of the automaton
Definition: ec.hh:126
const spot::fasttgba * get_automaton() const
return the automaton. Warning ! You don't have to delete the
Definition: ec.hh:107
virtual bool have_weak()=0
Return wether there is a weak instance.
virtual bool have_strong()
Return wether there is a weak instance.
Definition: ec.hh:163
A simple wrapper for an automaton.
Definition: ec.hh:40
virtual const instance_automaton * new_instance()
Return a new instance of the automaton.
Definition: ec.hh:148
virtual const spot::fasttgba * get_automaton() const =0
return the automaton. Warning ! You don't have to delete the
virtual bool have_terminal()=0
Return wether there is a terminal instance.
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.
virtual bool have_weak()
Return wether there is a weak instance.
Definition: ec.hh:153
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:112
virtual const spot::fasttgba * get_weak_automaton() const =0
return a weak instance of the automaton