/*
 * ListOfLocalAtoms.hpp
 *
 *  Created on: Sep 7, 2012
 *      Author: heber
 */

#ifndef LISTOFLOCALATOMS_HPP_
#define LISTOFLOCALATOMS_HPP_


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

#include <map>

#include "types.hpp"

class atom;

/** This structure contains the reverse lookup to atom::father entry.
 *
 * We want to know the copied atom from the original one.
 *
 */
struct ListOfLocalAtoms_t : public std::map<atomId_t, atom *>
{

};

#endif /* LISTOFLOCALATOMS_HPP_ */