spot
1.1.3
|
#include <bdd.h>
#include <functional>
#include <boost/shared_ptr.hpp>
Go to the source code of this file.
Classes | |
class | spot::saba_state |
Abstract class for saba states. More... | |
struct | spot::saba_state_ptr_less_than |
Strict Weak Ordering for saba_state* . More... | |
struct | spot::saba_state_ptr_equal |
An Equivalence Relation for saba_state* . More... | |
struct | spot::saba_state_ptr_hash |
Hash Function for saba_state* . More... | |
struct | spot::saba_state_shared_ptr_less_than |
Strict Weak Ordering for shared_saba_state (shared_ptr<const saba_state*>). More... | |
struct | spot::saba_state_shared_ptr_equal |
An Equivalence Relation for shared_saba_state (shared_ptr<const saba_state*>). More... | |
struct | spot::saba_state_shared_ptr_hash |
Hash Function for shared_saba_state (shared_ptr<const saba_state*>). More... | |
Namespaces | |
spot | |
Typedefs | |
typedef boost::shared_ptr < const saba_state > | spot::shared_saba_state |