Changes in src/Descriptors/AtomIdDescriptor.cpp [f16a4b:24a5e0]

File:

• src/Descriptors/AtomIdDescriptor.cpp (modified) (2 diffs)

src/Descriptors/AtomIdDescriptor.cpp

@@ -14 +14 @@
 
 
-AtomIdDescriptor_impl::AtomIdDescriptor_impl(int _id) :
+AtomIdDescriptor_impl::AtomIdDescriptor_impl(atomId_t _id) :
   id(_id)
 {}
@@ -21 +21 @@
 {}
 
-bool AtomIdDescriptor_impl::predicate(std::pair<int,atom*> atom) {
+bool AtomIdDescriptor_impl::predicate(std::pair<atomId_t,atom*> atom) {
   return atom.first==id;
 }
 
-AtomDescriptor AtomById(int id){
+AtomDescriptor AtomById(atomId_t id){
   return AtomDescriptor(AtomDescriptor::impl_ptr(new AtomIdDescriptor_impl(id)));
 }
 
 atom *AtomIdDescriptor_impl::find(){
-  map<int,atom*> atoms = getAtoms();
-  map<int,atom*>::iterator res = atoms.find(id);
+  World::AtomSet atoms = getAtoms();
+  World::AtomSet::iterator res = atoms.find(id);
   return (res!=atoms.end())?((*res).second):0;
 }