From 9d1fe0c356019a9fd0892d2ad823d70300b9f096 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 30 Jul 2013 20:00:55 +0000 Subject: [PATCH] Small update to Strategy interface. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7194 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/strat/MDStrategy.java | 2 +- prism/src/strat/Strategy.java | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/src/strat/MDStrategy.java b/prism/src/strat/MDStrategy.java index 648a140b..72d66aaf 100644 --- a/prism/src/strat/MDStrategy.java +++ b/prism/src/strat/MDStrategy.java @@ -70,7 +70,7 @@ public abstract class MDStrategy implements Strategy } @Override - public void update(int action, int s) + public void update(Object action, int s) { currentState = s; } diff --git a/prism/src/strat/Strategy.java b/prism/src/strat/Strategy.java index c7b6f671..aa73cc15 100644 --- a/prism/src/strat/Strategy.java +++ b/prism/src/strat/Strategy.java @@ -55,7 +55,7 @@ public interface Strategy * @param action The action taken in the previous state of the model * @param s The new state of the model */ - public void update(int action, int s); + public void update(Object action, int s); /** * Get the action chosen by the strategy in the current state (assuming it is deterministic).