From e86447b4d74677d86271336727e0bbff9f4c54b5 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kristof@marussy.com>
Date: Mon, 1 Aug 2022 01:44:06 +0200
Subject: refactor: direct predicates

* Remove the direct keyword because it can be inferred
* Use may/must/current instead of value literals
* Transformation rule changes
---
 subprojects/frontend/src/index.tsx | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'subprojects/frontend/src/index.tsx')

diff --git a/subprojects/frontend/src/index.tsx b/subprojects/frontend/src/index.tsx
index 6cdbbd64..0616007a 100644
--- a/subprojects/frontend/src/index.tsx
+++ b/subprojects/frontend/src/index.tsx
@@ -34,12 +34,12 @@ pred invalidTaxStatus(Person p) <->
     parent(p, q),
     !taxStatus(q, retired).
 
-direct rule createChild(p):
-    children(p, newPerson) = unknown,
-    equals(newPerson, newPerson) = unknown
- ~> new q,
-    children(p, q) = true,
-    taxStatus(q, child) = true.
+rule createChild(p, newPerson):
+    may children(p, newPerson),
+    may !equals(newPerson, newPerson)
+==> new q: newPerson,
+    children(p, q),
+    taxStatus(q, child).
 
 indiv family.
 Family(family).
-- 
cgit v1.2.3-54-g00ecf

