diff --git a/AlgebraicDataflowArchitectureModel/src/models/algebra/Symbol.java b/AlgebraicDataflowArchitectureModel/src/models/algebra/Symbol.java index f4f29ce..8204dea 100644 --- a/AlgebraicDataflowArchitectureModel/src/models/algebra/Symbol.java +++ b/AlgebraicDataflowArchitectureModel/src/models/algebra/Symbol.java @@ -4,7 +4,8 @@ private String name; private int arity = 0; private Type operatorType = Type.PREFIX; - private Symbol inverses[] = null; + private Symbol[] inverses = null; + private Type[] signature = null; public Symbol(String name) { this.name = name; @@ -50,6 +51,14 @@ this.inverses = inverses; } + public Type[] getSignature() { + return signature; + } + + public void setSignature(Type[] signature) { + this.signature = signature; + } + public boolean equals(Object another) { if (!(another instanceof Symbol)) return false; return name.equals(((Symbol) another).name) && arity == ((Symbol) another).arity;