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::fasttgba Class Referenceabstract

#include <fasttgba/fasttgba.hh>

Inheritance diagram for spot::fasttgba:
Inheritance graph
Collaboration diagram for spot::fasttgba:
Collaboration graph

Public Member Functions

virtual fasttgba_stateget_init_state () const =0
 Get the initial state of the automaton. More...
 
virtual fasttgba_succ_iteratorsucc_iter (const fasttgba_state *state) const =0
 Get an iterator over the successors of state. More...
 
virtual fasttgba_succ_iteratorswarm_succ_iter (const fasttgba_state *state) const =0
 Get a Swarm iterator over the sucessors of a state. More...
 
virtual ap_dictget_dict () const =0
 Get the dictionary associated to the automaton. More...
 
virtual acc_dictget_acc () const =0
 Get the acceptance dictionary associated to the automaton. More...
 
virtual std::string format_state (const fasttgba_state *state) const =0
 Format the state as a string for printing. More...
 
virtual std::string transition_annotation (const fasttgba_succ_iterator *t) const =0
 Return a possible annotation for the transition pointed to by the iterator. More...
 
virtual fasttgba_stateproject_state (const fasttgba_state *s, const fasttgba *t) const =0
 Project a state on an automaton. More...
 
virtual markset all_acceptance_marks () const =0
 Return the set of all acceptance marks used by this automaton. More...
 
virtual unsigned int number_of_acceptance_marks () const =0
 The number of acceptance marks. More...
 

Protected Attributes

int num_acc_
 The number of acceptance mark. More...
 
int num_var_
 The number of variables. More...
 

Detailed Description

Spot is centered around the spot::tgba type. Here we provide a simplified interface for designing faster implementations.

Member Function Documentation

virtual markset spot::fasttgba::all_acceptance_marks ( ) const
pure virtual

Return the set of all acceptance marks used by this automaton.

The goal of the emptiness check is to ensure that a strongly connected component walks through each of these acceptance conditions. I.e., the union of the acceptance conditions of all transition in the SCC should be equal to the result of this function.

Implemented in spot::fasttgbaexplicit, and spot::fasttgba_product.

virtual std::string spot::fasttgba::format_state ( const fasttgba_state state) const
pure virtual

Format the state as a string for printing.

This formating is the responsability of the automata that owns the state.

Implemented in spot::fasttgbaexplicit, and spot::fasttgba_product.

virtual acc_dict& spot::fasttgba::get_acc ( ) const
pure virtual

Get the acceptance dictionary associated to the automaton.

Implemented in spot::fasttgbaexplicit, and spot::fasttgba_product.

virtual ap_dict& spot::fasttgba::get_dict ( ) const
pure virtual

Get the dictionary associated to the automaton.

Implemented in spot::fasttgbaexplicit, and spot::fasttgba_product.

virtual fasttgba_state* spot::fasttgba::get_init_state ( ) const
pure virtual

Get the initial state of the automaton.

The state has been allocated with new. It is the responsability of the caller to destroy it when no longer needed.

Implemented in spot::fasttgbaexplicit, and spot::fasttgba_product.

virtual unsigned int spot::fasttgba::number_of_acceptance_marks ( ) const
pure virtual

The number of acceptance marks.

Implemented in spot::fasttgbaexplicit, and spot::fasttgba_product.

virtual fasttgba_state* spot::fasttgba::project_state ( const fasttgba_state s,
const fasttgba t 
) const
pure virtual

Project a state on an automaton.

Implemented in spot::fasttgbaexplicit, and spot::fasttgba_product.

virtual fasttgba_succ_iterator* spot::fasttgba::succ_iter ( const fasttgba_state state) const
pure virtual

Get an iterator over the successors of state.

Parameters
stateThe state whose successors are to be explored. This pointer is not adopted in any way by succ_iter, and it is still the caller's responsability to destroy it when appropriate (this can be done during the lifetime of the iterator).

Implemented in spot::fasttgbaexplicit, and spot::fasttgba_product.

virtual fasttgba_succ_iterator* spot::fasttgba::swarm_succ_iter ( const fasttgba_state state) const
pure virtual

Get a Swarm iterator over the sucessors of a state.

Such an iterator visits randomly once each outgoing transitions

Parameters
statethe states whose successors are to be explored.

Implemented in spot::fasttgbaexplicit, and spot::fasttgba_product.

virtual std::string spot::fasttgba::transition_annotation ( const fasttgba_succ_iterator t) const
pure virtual

Return a possible annotation for the transition pointed to by the iterator.

Implemented in spot::fasttgbaexplicit, and spot::fasttgba_product.

Member Data Documentation

int spot::fasttgba::num_acc_
mutableprotected

The number of acceptance mark.

int spot::fasttgba::num_var_
mutableprotected

The number of variables.


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:02 for spot by doxygen 1.8.5