Candidate_v1.7.0
        stable
      
      
        
          | Last change
 on this file since 5aa337 was             795c0f, checked in by Frederik Heber <heber@…>, 10 years ago | 
        
          | 
World::getAtoms() now has const versions as well.
 this in turn required to adapt all AtomDescriptors and some fixes, e.g.
predicate is now const member and works on const atom ptr.
 | 
        
          | 
              
Property                 mode
 set to                 100644 | 
        
          | File size:
            701 bytes | 
      
      
| 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,const atom*> atom) const; | 
|---|
| 19 |  | 
|---|
| 20 | protected: | 
|---|
| 21 | virtual atom *find(); | 
|---|
| 22 | virtual const atom *find() const; | 
|---|
| 23 | virtual std::vector<atom*> findAll(); | 
|---|
| 24 | virtual std::vector<const atom*> findAll() const; | 
|---|
| 25 |  | 
|---|
| 26 | World::AtomSet& getAtoms(); | 
|---|
| 27 | const World::AtomSet& getAtoms() const; | 
|---|
| 28 |  | 
|---|
| 29 | private: | 
|---|
| 30 | int id; | 
|---|
| 31 | }; | 
|---|
| 32 |  | 
|---|
| 33 | #endif //ATOMORDERDESCRIPTOR_IMPL_HPP | 
|---|
       
      
  Note:
 See   
TracBrowser
 for help on using the repository browser.