Rev | Line | |
---|
[61c364] | 1 | #ifndef ATOMORDERDESCRIPTOR_IMPL_HPP
|
---|
| 2 | #define ATOMORDERDESCRIPTOR_IMPL_HPP
|
---|
| 3 |
|
---|
| 4 | // include config.h
|
---|
| 5 | #ifdef HAVE_CONFIG_H
|
---|
| 6 | #include <config.h>
|
---|
| 7 | #endif
|
---|
| 8 |
|
---|
| 9 |
|
---|
| 10 | #include "Descriptors/AtomDescriptor_impl.hpp"
|
---|
| 11 |
|
---|
| 12 | class AtomOrderDescriptor_impl : public AtomDescriptor_impl
|
---|
| 13 | {
|
---|
| 14 | public:
|
---|
| 15 | AtomOrderDescriptor_impl(int _id);
|
---|
| 16 | virtual ~AtomOrderDescriptor_impl();
|
---|
| 17 |
|
---|
| 18 | bool predicate(std::pair<atomId_t,atom*> atom);
|
---|
| 19 |
|
---|
| 20 | protected:
|
---|
| 21 | virtual atom *find();
|
---|
| 22 | virtual std::vector<atom*> findAll();
|
---|
| 23 |
|
---|
| 24 | World::AtomSet& getAtoms();
|
---|
| 25 |
|
---|
| 26 | private:
|
---|
| 27 | int id;
|
---|
| 28 | };
|
---|
| 29 |
|
---|
| 30 | #endif //ATOMORDERDESCRIPTOR_IMPL_HPP
|
---|
Note:
See
TracBrowser
for help on using the repository browser.