spot
1.2.1a
|
This class is used to create a dictionary that will contain all atomic propositions that are needed by an (and possibly many) automaton. More...
#include <fasttgba/ap_dict.hh>
Public Member Functions | |
ap_dict () | |
a default constructor that construct an empty dictionary More... | |
virtual | ~ap_dict () |
a simple destructor More... | |
virtual int | register_ap_for_aut (const ltl::atomic_prop *ap, const spot::fasttgba *a) |
add an atomic proposition into this dictionary More... | |
virtual const ltl::atomic_prop * | get (int i) |
This provide the reference to the i th variable that is contained in this dictionary. More... | |
size_t | size () |
Return the size of this dictionary. More... | |
bool | empty () |
Return true if Dicitionnary is empty. More... | |
Protected Attributes | |
int | id_ |
Unique id counter. More... | |
std::map< const ltl::atomic_prop *, int > | aps_ |
Formula to int converter. More... | |
std::map< int, const ltl::atomic_prop * > | apsback_ |
Int to formula converter. More... | |
This class is used to create a dictionary that will contain all atomic propositions that are needed by an (and possibly many) automaton.
All atomatic propsitions are register in this class using the class ltl::atomic_prop that is used during the translation algorithm.
Each atomic proposition is associated to a unique identifier
If this Dicitonnary is used by two automata using the atomic proposition 'a' then the id of 'a' will be the same.
spot::ap_dict::ap_dict | ( | ) |
a default constructor that construct an empty dictionary
|
virtual |
a simple destructor
bool spot::ap_dict::empty | ( | ) |
Return true if Dicitionnary is empty.
|
virtual |
This provide the reference to the i th variable that is contained in this dictionary.
|
virtual |
add an atomic proposition into this dictionary
All returned values start from 0 to size ()
Return the unique identifier associated to this ap
size_t spot::ap_dict::size | ( | ) |
Return the size of this dictionary.
|
protected |
Formula to int converter.
|
protected |
Int to formula converter.
|
protected |
Unique id counter.