.PNlib.Functions.OddsAndEnds.prioCheck

Interface

function prioCheck
  extends Modelica.Icons.Function;
  input Integer enablingPrio[:] "enabling priorities";
  input Integer N "number of transitions";
  output Boolean result "= true, if priorities are correctly";
end prioCheck;