spot
1.99.1
|
A TGBA proxy. More...
#include <twa/twaproxy.hh>
Public Member Functions | |
virtual state * | get_init_state () const |
Get the initial state of the automaton. More... | |
virtual twa_succ_iterator * | succ_iter (const state *state) const |
Get an iterator over the successors of local_state. More... | |
virtual std::string | format_state (const state *state) const |
virtual std::string | transition_annotation (const twa_succ_iterator *t) const |
virtual state * | project_state (const state *s, const const_twa_ptr &t) const |
Protected Member Functions | |
twa_proxy (const const_twa_ptr &original) | |
virtual bdd | compute_support_conditions (const state *state) const |
Protected Attributes | |
const_twa_ptr | original_ |
twa_succ_iterator * | iter_cache_ |
bdd_dict_ptr | dict_ |
A TGBA proxy.
This implements a simple proxy to an existing TGBA, forwarding all methods to the original. By itself this class is pointless: better use the original automaton right away. However it is useful to inherit from this class and override some of its methods to implement some on-the-fly algorithm.
|
virtual |
Get the initial state of the automaton.
The state has been allocated with new
. It is the responsability of the caller to destroy
it when no longer needed.
Implements spot::twa.
|
virtual |
Get an iterator over the successors of local_state.
The iterator has been allocated with new
. It is the responsability of the caller to delete
it when no longer needed.
Implements spot::twa.