From 5f06e34bc24876739c1d4af1d45f7cb322a19559 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Wed, 26 Jul 2017 14:32:28 +0200
Subject: First shot at (logic, not VHDL) functions.

---
 instr-to-kodkod/src/VHDLPredicate.java | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

(limited to 'instr-to-kodkod/src/VHDLPredicate.java')

diff --git a/instr-to-kodkod/src/VHDLPredicate.java b/instr-to-kodkod/src/VHDLPredicate.java
index 3605e76..0ff388b 100644
--- a/instr-to-kodkod/src/VHDLPredicate.java
+++ b/instr-to-kodkod/src/VHDLPredicate.java
@@ -14,11 +14,18 @@ public class VHDLPredicate
    private final String name;
    private final int arity;
    private final Relation as_relation;
+   private final boolean is_function;
    private boolean is_used;
 
-   public VHDLPredicate (final String name, final VHDLType[] signature)
+   public VHDLPredicate
+   (
+      final String name,
+      final VHDLType[] signature,
+      final boolean is_function
+   )
    {
       this.name = name;
+      this.is_function = is_function;
       arity = signature.length;
 
       signatures = new ArrayList<VHDLType[]>();
@@ -45,6 +52,11 @@ public class VHDLPredicate
       return arity;
    }
 
+   public boolean is_function ()
+   {
+      return is_function;
+   }
+
    public Relation get_as_relation ()
    {
       if (!is_used)
-- 
cgit v1.2.3-70-g09d2