#include <cstddef>
#include <bdd.h>
#include <cassert>
#include <functional>
#include <boost/shared_ptr.hpp>
Go to the source code of this file.
Classes | |
class | spot::state |
Abstract class for states. More... | |
struct | spot::state_ptr_less_than |
Strict Weak Ordering for state* .This is meant to be used as a comparison functor for STL map whose key are of type state* . More... | |
struct | spot::state_ptr_equal |
An Equivalence Relation for state* .This is meant to be used as a comparison functor for Sgi hash_map whose key are of type state* . More... | |
struct | spot::state_ptr_hash |
Hash Function for state* .This is meant to be used as a hash functor for Sgi's hash_map whose key are of type state* . More... | |
struct | spot::state_shared_ptr_less_than |
Strict Weak Ordering for shared_state (shared_ptr<const state*>).This is meant to be used as a comparison functor for STL map whose key are of type shared_state . More... | |
struct | spot::state_shared_ptr_equal |
An Equivalence Relation for shared_state (shared_ptr<const state*>).This is meant to be used as a comparison functor for Sgi hash_map whose key are of type shared_state . More... | |
struct | spot::state_shared_ptr_hash |
Hash Function for shared_state (shared_ptr<const state*>).This is meant to be used as a hash functor for Sgi's hash_map whose key are of type shared_state . More... | |
Namespaces | |
namespace | spot |
Typedefs | |
typedef boost::shared_ptr < const state > | spot::shared_state |