From 86476b02b1ce94c5223d0311ed4d5cbd4cc43b38 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 21 Mar 2012 23:42:00 +0000 Subject: [PATCH] Javadoc comment. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4930 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/explicit/Model.java | 1 + 1 file changed, 1 insertion(+) diff --git a/prism/src/explicit/Model.java b/prism/src/explicit/Model.java index 5c38dfb2..29047e3c 100644 --- a/prism/src/explicit/Model.java +++ b/prism/src/explicit/Model.java @@ -150,6 +150,7 @@ public interface Model * If requested (if fix=true) and if needed (i.e. for DTMCs/CTMCs), * fix deadlocks by adding self-loops in these states. * The set of deadlocks (before any possible fixing) can be obtained from {@link #getDeadlocks()}. + * @throws PrismException if the model is unable to fix deadlocks because it is non-mutable. */ public void findDeadlocks(boolean fix) throws PrismException;