/*
 * defs.hpp
 *
 *  Created on: Dec 1, 2011
 *      Author: heber
 */

#ifndef OBSERVER_DEFS_HPP_
#define OBSERVER_DEFS_HPP_

// include config.h
#ifdef HAVE_CONFIG_H
#include <config.h>
#endif

class Notification;

// Pointers to notifications are used for unique identification
// using this typedef makes it hard for others to mess up this
// identification process
typedef Notification *const Notification_ptr;

template<class _Set>
class ObservedIterator;


#endif /* OBSERVER_DEFS_HPP_ */