#ifndef ATOMORDERDESCRIPTOR_IMPL_HPP
#define ATOMORDERDESCRIPTOR_IMPL_HPP

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


#include "Descriptors/AtomDescriptor_impl.hpp"

class AtomOrderDescriptor_impl : public AtomDescriptor_impl
{
public:
  AtomOrderDescriptor_impl(int _id);
  virtual ~AtomOrderDescriptor_impl();

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

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

  World::AtomSet& getAtoms();

private:
  int id;
};

#endif //ATOMORDERDESCRIPTOR_IMPL_HPP