Fixing ordering, using petgraph

This commit is contained in:
elvis
2025-07-03 23:44:10 +02:00
parent eb8455b84d
commit 62740cce84
6 changed files with 20 additions and 9 deletions

View File

@ -1,4 +1,4 @@
Environment: [x = {a}.ñ, ñ =({a}.nill + {b}.nill)]
Environment: [x = {a}.y, y =({a}.nill + {b}.nill)]
Initial Entities: {a, b}
Context: [({a,b}.{a}.{a,c}.x + {a,b}.{a}.{a}.nil)]
Reactions: ([r: {a,b}, i: {c}, p: {b, ñ, 㐀, 豈, a12-3, 🙏}])
Context: [({a,b}.{a}.{a,c}.x + {a,b}.{a}.{a}.nill)]
Reactions: ([r: {a,b}, i: {c}, p: {b}])