Improve interface, add random walk and reduction implementations, add tests

2023-11-21 19:57:45 +01:00
parent 7d31f61e5f
commit 968f6856de
17 changed files with 235 additions and 112 deletions
--- a/notebooks/abc_model_large.ipynb
+++ b/notebooks/abc_model_large.ipynb
@@ -99,8 +99,7 @@
    }
   ],
   "source": [
-    "include(\"../examples/profiling_utilities.jl\")\n",
-    "@time reduce_all!(graph)\n",
+    "@time optimize_to_fixpoint!(ReductionOptimizer(), graph)\n",
    "print(graph)"
   ]
  },
--- a/notebooks/abc_model_showcase.ipynb
+++ b/notebooks/abc_model_showcase.ipynb
@@ -211,10 +211,8 @@
   "metadata": {},
   "outputs": [],
   "source": [
-    "include(\"../examples/profiling_utilities.jl\")\n",
-    "\n",
    "# We can also mute the graph by applying some operations to it\n",
-    "reduce_all!(graph)"
+    "optimize_to_fixpoint!(ReductionOptimizer(), graph)"
   ]
  },
  {
--- a/notebooks/profiling.ipynb
+++ b/notebooks/profiling.ipynb
@@ -30,8 +30,7 @@
   "metadata": {},
   "outputs": [],
   "source": [
-    "include(\"../examples/profiling_utilities.jl\")\n",
-    "@ProfileView.profview reduce_all!(graph)"
+    "@ProfileView.profview optimize_to_fixpoint!(ReductionOptimizer(), graph)"
   ]
  },
  {