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

This class represents a product state. More...

#include <fasttgba/fasttgba_product.hh>

Inheritance diagram for spot::fast_product_state:
Inheritance graph
Collaboration diagram for spot::fast_product_state:
Collaboration graph

Public Member Functions

 fast_product_state (const fasttgba_state *left, const fasttgba_state *right, fixed_size_pool *p)
 
virtual int compare (const fasttgba_state *other) const
 Compares two states (that come from the same automaton). More...
 
virtual size_t hash () const
 Hash a state. More...
 
virtual fasttgba_stateclone () const
 Duplicate a state. More...
 
virtual void * external_information () const
 
virtual void destroy () const
 Release a state. More...
 
virtual const fasttgba_stateleft () const
 An accessor to the left part of a state. More...
 
virtual const fasttgba_stateright () const
 An accessor to the right part of a state. More...
 

Detailed Description

This class represents a product state.

This state is composed of a left and a right part that also are fast states

Member Function Documentation

virtual fasttgba_state* spot::fast_product_state::clone ( ) const
virtual

Duplicate a state.

Implements spot::fasttgba_state.

virtual int spot::fast_product_state::compare ( const fasttgba_state other) const
virtual

Compares two states (that come from the same automaton).

This method returns an integer less than, equal to, or greater than zero if this is found, respectively, to be less than, equal to, or greater than other according to some implicit total order.

This method should not be called to compare states from different automata.

Implements spot::fasttgba_state.

virtual void spot::fast_product_state::destroy ( ) const
virtual

Release a state.

Sub class can refined this method to be memory efficient

Reimplemented from spot::fasttgba_state.

virtual void* spot::fast_product_state::external_information ( ) const
virtual

Allow to add more information inside of a state. It can be used to store the strength of the current SCC or the strength of the strength of the subautomaton

Implements spot::fasttgba_state.

virtual size_t spot::fast_product_state::hash ( ) const
virtual

Hash a state.

This method returns an integer that can be used as a hash value for this state.

Implements spot::fasttgba_state.

virtual const fasttgba_state* spot::fast_product_state::left ( ) const
virtual

An accessor to the left part of a state.

virtual const fasttgba_state* spot::fast_product_state::right ( ) const
virtual

An accessor to the right part of a state.


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