/*
 * AtomIdDescriptor.hpp
 *
 *  Created on: Feb 5, 2010
 *      Author: crueger
 */

#ifndef ATOMIDDESCRIPTOR_HPP_
#define ATOMIDDESCRIPTOR_HPP_

#include "Descriptors/AtomDescriptor.hpp"

class AtomIdDescriptor : public AtomDescriptor
{
public:
  AtomIdDescriptor(int _id);
  virtual ~AtomIdDescriptor();

protected:
  atom *find();
  std::vector<atom*> findAll();

private:
  int id;
};

#endif /* ATOMIDDESCRIPTOR_HPP_ */