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::ap_dict Class Reference

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>

Collaboration diagram for spot::ap_dict:
Collaboration graph

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_propget (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...
 

Detailed Description

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.

Constructor & Destructor Documentation

spot::ap_dict::ap_dict ( )

a default constructor that construct an empty dictionary

virtual spot::ap_dict::~ap_dict ( )
virtual

a simple destructor

Member Function Documentation

bool spot::ap_dict::empty ( )

Return true if Dicitionnary is empty.

virtual const ltl::atomic_prop* spot::ap_dict::get ( int  i)
virtual

This provide the reference to the i th variable that is contained in this dictionary.

virtual int spot::ap_dict::register_ap_for_aut ( const ltl::atomic_prop ap,
const spot::fasttgba a 
)
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.

Member Data Documentation

std::map<const ltl::atomic_prop*, int> spot::ap_dict::aps_
protected

Formula to int converter.

std::map<int, const ltl::atomic_prop*> spot::ap_dict::apsback_
protected

Int to formula converter.

int spot::ap_dict::id_
protected

Unique id counter.


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