diff --git a/src/main/jastadd/base/io/IoPN.jadd b/src/main/jastadd/base/io/IoPN.jadd index 9d6671dc08155d49e3ea31024609dcdeb934fd29..57dd7b14a2e2375593f76bd3c11b82e3610bb371 100644 --- a/src/main/jastadd/base/io/IoPN.jadd +++ b/src/main/jastadd/base/io/IoPN.jadd @@ -60,24 +60,24 @@ aspect IoPnExtension{ } // tom - if (result > -1) { + // if (result > -1) { for (ThresholdOutputMapping tom : tomList) { if (tom.getValue() <= markedPlace.getNumBalloonMarking()) { result = tom.getResult(); break; } } - } + // } // rom - if (result > -1) { + // if (result > -1) { for (RangeOutputMapping rom : romList) { if ((rom.getLowerBound() <= markedPlace.getNumBalloonMarking()) && (rom.getUpperBound() >= markedPlace.getNumBalloonMarking())) { result = rom.getResult(); break; } } - } + // } // 0 (disabled Signal) is default if (result == -1) {