19 #ifndef SPOT_FASTTGBA_FASTTGBA_HH
20 # define SPOT_FASTTGBA_FASTTGBA_HH
23 #include "fasttgba_state.hh"
24 #include "fasttgba_succ_iterator.hh"
27 #include "acc_dict.hh"
78 virtual std::string format_state(
const fasttgba_state* state)
const = 0;
99 markset all_acceptance_marks()
const = 0;
103 unsigned int number_of_acceptance_marks()
const = 0;
111 #endif // SPOT_FASTTGBA_FASTTGBA_HH
Definition: fasttgba.hh:33
This class act as an interface for all classes.
Definition: fasttgba_state.hh:30
Abstract class for states.
Definition: state.hh:40
int num_var_
The number of variables.
Definition: fasttgba.hh:107
This class is used to create a dictionary that will contain all atomic propositions that are needed b...
Definition: ap_dict.hh:41
Iterate over the successors of a state.
Definition: fasttgba_succ_iterator.hh:35
This class represents a set of acceptance marks.
Definition: markset.hh:35
Definition: acc_dict.hh:31
int num_acc_
The number of acceptance mark.
Definition: fasttgba.hh:106