Line | |
---|
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.