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.

---
 cfg-to-paths/src/Node.java | 58 ++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 58 insertions(+)
 create mode 100644 cfg-to-paths/src/Node.java

(limited to 'cfg-to-paths/src/Node.java')

diff --git a/cfg-to-paths/src/Node.java b/cfg-to-paths/src/Node.java
new file mode 100644
index 0000000..6f9083d
--- /dev/null
+++ b/cfg-to-paths/src/Node.java
@@ -0,0 +1,58 @@
+import java.util.*;
+
+public class Node
+{
+   private static final Map<String, Node> NODE_FROM_STRING;
+   private final Collection<Node> next_nodes;
+
+   private final String name;
+
+   static
+   {
+      NODE_FROM_STRING = new HashMap<String, Node>();
+   }
+
+   private Node (final String name)
+   {
+      this.name = name;
+      next_nodes = new ArrayList<Node>();
+   }
+
+   public Collection<Node> next_nodes ()
+   {
+      return next_nodes;
+   }
+
+   @Override
+   public String toString ()
+   {
+      return name;
+   }
+
+   public static Node get_node (final String s)
+   {
+      return NODE_FROM_STRING.get(s);
+   }
+
+   public static boolean handle_add_node (final String a)
+   {
+      if (!NODE_FROM_STRING.containsKey(a))
+      {
+         NODE_FROM_STRING.put(a, new Node(a));
+      }
+
+      return true;
+   }
+
+   public static boolean handle_connect_to (final String a, final String b)
+   {
+      final Node n_a, n_b;
+
+      n_a = NODE_FROM_STRING.get(a);
+      n_b = NODE_FROM_STRING.get(b);
+
+      n_a.next_nodes.add(n_b);
+
+      return true;
+   }
+}
-- 
cgit v1.2.3-70-g09d2