/*
 * 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();

  bool predicate(std::pair<int,atom*> atom);

  virtual desc_ptr clone() const;

protected:
#if 0
  atom *find();
  std::vector<atom*> findAll();
#endif
private:
  int id;
};

#endif /* ATOMIDDESCRIPTOR_HPP_ */