From 574f6e9ebb71c4408def85c3e42e7a58cdb00702 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 2 Apr 2008 10:47:55 +0000 Subject: [PATCH] Sim bug: temporal operator types. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@717 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/simulator/SimulatorEngine.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/prism/src/simulator/SimulatorEngine.java b/prism/src/simulator/SimulatorEngine.java index fc850f3d..b9758900 100644 --- a/prism/src/simulator/SimulatorEngine.java +++ b/prism/src/simulator/SimulatorEngine.java @@ -2179,16 +2179,16 @@ public class SimulatorEngine switch (exprTemp.getOperator()) { case ExpressionTemporal.P_X: - if (exprTemp.getOperand2().getType() != Expression.PATH_BOOLEAN) + if (exprTemp.getOperand2().getType() != Expression.BOOLEAN) return -1; exprPtr2 = exprTemp.getOperand2().toSimulator(this); return loadPctlNext(exprPtr2); case ExpressionTemporal.P_U: - if (exprTemp.getOperand1().getType() != Expression.PATH_BOOLEAN) + if (exprTemp.getOperand1().getType() != Expression.BOOLEAN) return -1; exprPtr1 = exprTemp.getOperand1().toSimulator(this); - if (exprTemp.getOperand2().getType() != Expression.PATH_BOOLEAN) + if (exprTemp.getOperand2().getType() != Expression.BOOLEAN) return -1; exprPtr2 = exprTemp.getOperand2().toSimulator(this); if (exprTemp.hasBounds()) {