From d48380bd87dcef4b095b2a4e578d4461e68df73c Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Mon, 17 Jul 2017 15:22:19 +0200
Subject: Working on a way to CTL over DAG in Kodkod.

---
 instr-scripts/process_internals.py | 24 ++++++++++++------------
 1 file changed, 12 insertions(+), 12 deletions(-)

(limited to 'instr-scripts')

diff --git a/instr-scripts/process_internals.py b/instr-scripts/process_internals.py
index e323300..a58fc5a 100644
--- a/instr-scripts/process_internals.py
+++ b/instr-scripts/process_internals.py
@@ -128,7 +128,7 @@ class Process_Internals:
             xml.attrib.get("label")
         )
         self.output.write(
-            "(set_attribute label "
+            "(set_function label "
             + cond_node_id
             + " "
             + string_id
@@ -145,7 +145,7 @@ class Process_Internals:
             "IF"
         )
         self.output.write(
-            "(set_attribute kind "
+            "(set_function kind "
             + cond_node_id
             + " "
             + string_id
@@ -165,7 +165,7 @@ class Process_Internals:
 
         #### Depth
         self.output.write(
-            "(set_attribute depth "
+            "(set_function depth "
             + cond_node_id
             + " "
             + str(node_depth + 1)
@@ -223,7 +223,7 @@ class Process_Internals:
             xml.attrib.get("label")
         )
         self.output.write(
-            "(set_attribute label "
+            "(set_function label "
             + node_id
             + " "
             + string_id
@@ -240,7 +240,7 @@ class Process_Internals:
             "INSTRUCTION"
         )
         self.output.write(
-            "(set_attribute kind "
+            "(set_function kind "
             + node_id
             + " "
             + string_id
@@ -260,7 +260,7 @@ class Process_Internals:
 
         #### Depth
         self.output.write(
-            "(set_attribute depth "
+            "(set_function depth "
             + node_id
             + " "
             + str(node_depth)
@@ -339,7 +339,7 @@ class Process_Internals:
             xml.attrib.get("label")
         )
         self.output.write(
-            "(set_attribute label "
+            "(set_function label "
             + cond_node_id
             + " "
             + string_id
@@ -356,7 +356,7 @@ class Process_Internals:
             "CASE"
         )
         self.output.write(
-            "(set_attribute kind "
+            "(set_function kind "
             + cond_node_id
             + " "
             + string_id
@@ -376,7 +376,7 @@ class Process_Internals:
 
         #### Depth
         self.output.write(
-            "(set_attribute depth "
+            "(set_function depth "
             + cond_node_id
             + " "
             + str(node_depth + 1)
@@ -458,7 +458,7 @@ class Process_Internals:
             ""
         )
         self.output.write(
-            "(set_attribute label "
+            "(set_function label "
             + node_id
             + " "
             + string_id
@@ -475,7 +475,7 @@ class Process_Internals:
             "WHEN"
         )
         self.output.write(
-            "(set_attribute kind "
+            "(set_function kind "
             + node_id
             + " "
             + string_id
@@ -495,7 +495,7 @@ class Process_Internals:
 
         #### Depth
         self.output.write(
-            "(set_attribute depth "
+            "(set_function depth "
             + node_id
             + " "
             + str(node_depth)
-- 
cgit v1.2.3-70-g09d2