Update JSON subproject reference and refactor pointer usage for impro…

…ved safety
ratioSolver · Jan 27, 2025 · faa73e8 · faa73e8
1 parent e072e84
commit faa73e8
Show file tree

Hide file tree

Showing 4 changed files with 9 additions and 9 deletions.
diff --git a/extern/json b/extern/json
diff --git a/src/core.cpp b/src/core.cpp
@@ -67,7 +67,7 @@ namespace riddle
             p->atoms.push_back(atm);
             q.pop();
             for (auto &parent : p->parents)
-                q.push(parent.operator->());
+                q.push(&*parent);
         }
         return atm;
     }

diff --git a/src/statement.cpp b/src/statement.cpp
@@ -181,7 +181,7 @@ namespace riddle
                 }
             q.pop();
             for (auto &parent : p->get_parents())
-                q.push(parent.operator->());
+                q.push(&*parent);
         }
 
         auto atm = scp.get_core().new_atom(is_fact, pred, std::move(c_args));

diff --git a/src/type.cpp b/src/type.cpp
@@ -54,7 +54,7 @@ namespace riddle
                 if (tp == this)
                     return true;
                 for (const auto &e : tp->get_enums())
-                    q.push(e.operator->());
+                    q.push(&*e);
             }
         }
         return false;
@@ -94,7 +94,7 @@ namespace riddle
                 if (tp == this)
                     return true;
                 for (const auto &p : tp->parents)
-                    q.push(p.operator->());
+                    q.push(&*p);
             }
         }
         return false;
@@ -247,7 +247,7 @@ namespace riddle
             q.pop();
             tp->created_predicate(*predicates[name]);
             for (const auto &p : tp->parents)
-                q.push(p.operator->());
+                q.push(&*p);
         }
     }
 
@@ -272,7 +272,7 @@ namespace riddle
             q.pop();
             tp->instances.push_back(utils::s_ptr(itm));
             for (const auto &p : tp->parents)
-                q.push(p.operator->());
+                q.push(&*p);
         }
         return itm;
     }
@@ -294,7 +294,7 @@ namespace riddle
                 if (tp == this)
                     return true;
                 for (const auto &p : tp->parents)
-                    q.push(p.operator->());
+                    q.push(&*p);
             }
         }
         return false;
@@ -322,7 +322,7 @@ namespace riddle
             q.pop();
             p->atoms.push_back(atm);
             for (const auto &par : p->parents)
-                q.push(par.operator->());
+                q.push(&*par);
         }
         return atm;
     }