From 60bc50ac5368ef1825314bcfeabdc36b80212036 Mon Sep 17 00:00:00 2001 From: dohan <dohan001@hhu.de> Date: Fri, 31 Aug 2018 10:21:15 +0200 Subject: [PATCH] translate HEURISTIC_FUNCTION definition --- src/main/java/de/tla2b/translation/BDefinitionsFinder.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/main/java/de/tla2b/translation/BDefinitionsFinder.java b/src/main/java/de/tla2b/translation/BDefinitionsFinder.java index 93b8035..7000ad8 100644 --- a/src/main/java/de/tla2b/translation/BDefinitionsFinder.java +++ b/src/main/java/de/tla2b/translation/BDefinitionsFinder.java @@ -53,8 +53,8 @@ public class BDefinitionsFinder extends AbstractASTVisitor implements ASTConstan for (OpDefNode opDef : specAnalyser.getModuleNode().getOpDefs()) { String defName = opDef.getName().toString(); // GOAL, ANIMATION_FUNCTION, ANIMATION_IMGxx, SET_PREF_xxx, - if (defName.equals("GOAL") || defName.startsWith("ANIMATION_FUNCTION") - || defName.startsWith("ANIMATION_")|| defName.startsWith("CUSTOM_GRAPH_") || defName.startsWith("SET_PREF_")) { + if (defName.equals("GOAL") || defName.startsWith("ANIMATION_") || defName.startsWith("CUSTOM_GRAPH_") + || defName.startsWith("SET_PREF_") || defName.startsWith("HEURISTIC_FUNCTION")) { bDefinitionsSet.add(opDef); } } -- GitLab