Main Page | Modules | Namespace List | Class Hierarchy | Class List | Directories | File List | Namespace Members | Class Members | File Members

spot::ltl::formula_ptr_hash Struct Reference
[Hashing functions]

Hash Function for const formula*. More...

#include <ltlast/formula.hh>

List of all members.

Public Member Functions

size_t operator() (const formula *that) const


Detailed Description

Hash Function for const formula*.

This is meant to be used as a hash functor for Sgi's hash_map whose key are of type const formula*.

For instance here is how one could declare a map of const::formula*.

          // Remember how many times each formula has been seen.
          Sgi::hash_map<const spot::ltl::formula*, int,
                        const spot::ltl::formula_ptr_hash> seen;


Member Function Documentation

size_t spot::ltl::formula_ptr_hash::operator() const formula that  )  const [inline]
 


The documentation for this struct was generated from the following file:
Please comment this page and report errors about it on the RefDocComments page.
Generated on Mon Jan 31 12:56:08 2005 for spot by doxygen 1.4.0