SegFault_gcc4.6
| 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.
