19 #ifndef SPOT_FASTTGBA_AP_DICT_HH
20 # define SPOT_FASTTGBA_AP_DICT_HH
72 std::map<const ltl::atomic_prop*, int>
aps_;
75 std::map<int, const ltl::atomic_prop*>
apsback_;
78 #endif // SPOT_FASTTGBA_AP_DICT_HH
Definition: fasttgba.hh:33
std::map< const ltl::atomic_prop *, int > aps_
Formula to int converter.
Definition: ap_dict.hh:72
Atomic propositions.
Definition: atomic_prop.hh:41
int id_
Unique id counter.
Definition: ap_dict.hh:69
This class is used to create a dictionary that will contain all atomic propositions that are needed b...
Definition: ap_dict.hh:41
std::map< int, const ltl::atomic_prop * > apsback_
Int to formula converter.
Definition: ap_dict.hh:75