spot
1.2.1a
|
#include <fasttgba/acc_dict.hh>
Public Member Functions | |
acc_dict () | |
A basic Constructor. More... | |
acc_dict (acc_dict &ad)=delete | |
virtual | ~acc_dict () |
Refine the destructor. More... | |
int | register_acc_for_aut (std::string acc, const spot::fasttgba *) |
Register an acceptance condition for an automaton. More... | |
std::string | get (int index) |
An accessor to the ith acceptance condition. More... | |
size_t | size () const |
Return the size of the dictionary. More... | |
bool | empty () const |
return true if the dictionary is empty More... | |
Protected Attributes | |
int | id_ |
counter for uniq ref More... | |
std::map< std::string, int > | accs_ |
std::map< int, std::string > | accsback_ |
This Class is a dicionary for acceptance set: it associates a name to each conditions
spot::acc_dict::acc_dict | ( | ) |
A basic Constructor.
|
virtual |
Refine the destructor.
bool spot::acc_dict::empty | ( | ) | const |
return true if the dictionary is empty
std::string spot::acc_dict::get | ( | int | index | ) |
An accessor to the ith acceptance condition.
int spot::acc_dict::register_acc_for_aut | ( | std::string | acc, |
const spot::fasttgba * | |||
) |
Register an acceptance condition for an automaton.
size_t spot::acc_dict::size | ( | ) | const |
Return the size of the dictionary.
|
protected |
counter for uniq ref