Cpp: add code for zero crossing of Integer equality (OpenModelica#12557)

Zero crossings seems to be generated for models like: model ZeroCrossings input Integer flag; output Real y; equation y = if flag == 1 then u else 0; end ZeroCrossings;
tbmreza · Jun 11, 2024 · 7055b41 · 7055b41
1 parent e2c9283
commit 7055b41
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git a/OMCompiler/Compiler/Template/CodegenCpp.tpl b/OMCompiler/Compiler/Template/CodegenCpp.tpl
@@ -12238,6 +12238,10 @@ template giveZeroFunc3(Integer index1, Exp relation, Text &varDecls /*BUFP*/,Tex
         else
             f[<%index1%>] = (<%e1%> - _zeroTol - <%e2%>);
         >>
+      case EQUAL(ty = T_INTEGER(__)) then
+        <<
+        f[<%index1%>] = std::abs(<%e2%> - <%e1%>);
+        >>
       else
         <<
         error(sourceInfo(), 'Unsupported relation: <%ExpressionDumpTpl.dumpExp(rel,"\"")%> for <%index1%>')

diff --git a/OMCompiler/Compiler/Template/CodegenCppOMSI.tpl b/OMCompiler/Compiler/Template/CodegenCppOMSI.tpl
@@ -12118,9 +12118,13 @@ template giveZeroFunc3(Integer index1, Exp relation, Text &varDecls /*BUFP*/,Tex
         else
             f[<%index1%>] = (<%e1%> - 1e-6 - <%e2%>);
         >>
+      case EQUAL(ty = T_INTEGER(__)) then
+        <<
+        f[<%index1%>] = std::abs(<%e2%> - <%e1%>);
+        >>
       else
         <<
-        error(sourceInfo(), 'Unknown relation: <%ExpressionDumpTpl.dumpExp(rel,"\"")%> for <%index1%>')
+        error(sourceInfo(), 'Unsupported relation: <%ExpressionDumpTpl.dumpExp(rel,"\"")%> for <%index1%>')
         >>
       end match
   case CALL(path=IDENT(name="sample"), expLst={_, start, interval}) then