protected void addLabel(Sort result, String label, boolean isAssoc, boolean isComm, boolean isFunction) { codomain.put(KLabel(label), result); AssocInfo info = new AssocInfo(isAssoc, isComm); if (assocInfo.containsKey(KLabel(label))) { assert assocInfo.get(KLabel(label)).equals(info); } else { assocInfo.put(KLabel(label), new AssocInfo(isAssoc, isComm)); } if (isFunction) { functionLabels.add(KLabel(label)); } }
protected void addLabel(String result, String label, boolean isAssoc, boolean isComm, boolean isFunction) { codomain.put(KLabel(label), Sort(result)); AssocInfo info = new AssocInfo(isAssoc, isComm); if (assocInfo.containsKey(KLabel(label))) { assert assocInfo.get(KLabel(label)).equals(info); } else { assocInfo.put(KLabel(label), new AssocInfo(isAssoc, isComm)); } if (isFunction) { functionLabels.add(KLabel(label)); } }