.CRML.ETL.Evaluator.TemporalOperators.add4

Boolean4 accumulation operator for requirements

Interface

function add4
  import CRML.ETL.Types.Boolean4;
  input Boolean4 x1;
  input Boolean4 x2;
  output Boolean4 y;
end add4;

Generated at 2026-07-26T20:40:21Z by OpenModelicaOpenModelica 1.27.0 using GenerateDoc.mos