You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
// If '+showAnnotations=true': Collect variables with annotation attribute 'tearingSelect=always', 'tearingSelect=prefer', 'tearingSelect=avoid' and 'tearingSelect=never'
// determine tvars and do cheap matching until a maximum matching is there
335
335
// if cheap matching stucks select additional tearing variable and continue
336
336
// (mark+1 for every call of omcTearing3)
@@ -824,8 +824,8 @@ algorithm
824
824
// if there are unsolvables choose unsolvables as tvars
825
825
case (tvar::rest,{},_,_,_,_,_,_,_,_,_,_,_,_,_,_,_)
826
826
equation
827
-
Debug.bcall(listMember(tvar,tSel_never), Error.addCompilerWarning, "There are tearing variables with annotation attribute 'tearingSelect = never'. Use +d=tearingdump and +d=tearingdumpV for more information.");
828
-
Debug.fcall(Flags.TEARING_DUMP, print,"\nForced selection of Tearing Variable:\n"+&UNDERLINE+&"\n");
827
+
Debug.bcall(listMember(tvar,tSel_never), Error.addCompilerWarning, "There are tearing variables with annotation attribute 'tearingSelect = never'. Use +d=tearingdump and +d=tearingdumpV for more information.");
828
+
Debug.fcall(Flags.TEARING_DUMP, print,"\nForced selection of Tearing Variable:\n"+&UNDERLINE+&"\n");
829
829
Debug.fcall(Flags.TEARING_DUMPVERBOSE,print,"tVar: "+& intString(tvar) +&" (unsolvable in omcTearing2)\n\n\n");
830
830
// mark tearing var
831
831
_ = arrayUpdate(ass1,tvar,size*2);
@@ -842,13 +842,13 @@ algorithm
842
842
(outTVars,oMark);
843
843
case (_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_)
844
844
equation
845
-
Debug.fcall(Flags.TEARING_DUMP, print,"\nForced selection of Tearing Variables:\n"+&UNDERLINE+&"\n");
845
+
Debug.fcall(Flags.TEARING_DUMP, print,"\nForced selection of Tearing Variables:\n"+&UNDERLINE+&"\n");
846
846
Debug.fcall(Flags.TEARING_DUMP, print,"Variables with annotation attribute 'always' as tVars: "+& stringDelimitList(List.map(tSel_always,intString),",")+&"\n");
Debug.bcall(listMember(tvar,tSel_never), Error.addCompilerWarning, "There are tearing variables with annotation attribute 'tearingSelect = never'. Use +d=tearingdump and +d=tearingdumpV for more information.");
940
-
Debug.fcall(Flags.TEARING_DUMP, print,"\nForced selection of Tearing Variable:\n"+&UNDERLINE+&"\n");
939
+
Debug.bcall(listMember(tvar,tSel_never), Error.addCompilerWarning, "There are tearing variables with annotation attribute 'tearingSelect = never'. Use +d=tearingdump and +d=tearingdumpV for more information.");
940
+
Debug.fcall(Flags.TEARING_DUMP, print,"\nForced selection of Tearing Variable:\n"+&UNDERLINE+&"\n");
941
941
Debug.fcall(Flags.TEARING_DUMPVERBOSE,print,"tVar: "+& intString(tvar) +&" (unsolvable in omcTearingSelectTearingVar)\n\n");
Debug.fcall(Flags.TEARING_DUMPVERBOSE,print,"Points after 'discriminateDiscrete':\n"+& stringDelimitList(List.map(arrayList(points),intString),",") +&"\n\n");
970
-
// 4th: Prefer variables with annotation attribute 'tearingSelect=prefer'
970
+
// 4th: Prefer variables with annotation attribute 'tearingSelect=prefer'
Debug.fcall(Flags.TEARING_DUMPVERBOSE,print,"Points after preferring variables with attribute 'prefer':\n"+& stringDelimitList(List.map(pointsLst,intString),",") +&"\n\n");
973
-
// 5th: Avoid variables with annotation attribute 'tearingSelect=avoid'
973
+
// 5th: Avoid variables with annotation attribute 'tearingSelect=avoid'
Debug.fcall(Flags.TEARING_DUMPVERBOSE,print,"Points after discrimination against variables with attribute 'avoid':\n"+& stringDelimitList(List.map(pointsLst,intString),",") +&"\n\n");
976
976
tvar = selectVarWithMostPoints(freeVars,pointsLst,-1,-1);
Debug.bcall(listMember(tvar,tSel_avoid), Error.addCompilerWarning, "The Tearing heuristic has chosen variables with annotation attribute 'tearingSelect = avoid'. Use +d=tearingdump and +d=tearingdumpV for more information.");
979
+
Debug.bcall(listMember(tvar,tSel_avoid), Error.addCompilerWarning, "The Tearing heuristic has chosen variables with annotation attribute 'tearingSelect = avoid'. Use +d=tearingdump and +d=tearingdumpV for more information.");
0 commit comments