spot  1.2.1a
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
Public Member Functions | Protected Attributes | List of all members
spot::acc_dict Class Reference

#include <fasttgba/acc_dict.hh>

Collaboration diagram for spot::acc_dict:
Collaboration graph

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_
 

Detailed Description

This Class is a dicionary for acceptance set: it associates a name to each conditions

Constructor & Destructor Documentation

spot::acc_dict::acc_dict ( )

A basic Constructor.

virtual spot::acc_dict::~acc_dict ( )
virtual

Refine the destructor.

Member Function Documentation

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.

Member Data Documentation

int spot::acc_dict::id_
protected

counter for uniq ref


The documentation for this class was generated from the following file:

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Tue Jan 21 2014 16:52:01 for spot by doxygen 1.8.5