From d57f97b335b5135071def35d679ce7915b92ced7 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 16 Jul 2015 12:22:44 +0000 Subject: [PATCH] Comment tidy git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10324 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/LTLModelChecker.java | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/prism/src/prism/LTLModelChecker.java b/prism/src/prism/LTLModelChecker.java index 4d61af1b..dd36a0e2 100644 --- a/prism/src/prism/LTLModelChecker.java +++ b/prism/src/prism/LTLModelChecker.java @@ -663,8 +663,7 @@ public class LTLModelChecker extends PrismComponent } /** - * Find the set of accepting BSCCs in a model wrt a Rabin acceptance condition. - * Find the set of accepting BSCCs in a model wrt an acceptance condition. + * Find the set of accepting BSCCs in a model wrt an omega acceptance condition. * @param acceptance the acceptance condition, with BDD based storage * @param model The model * @return A referenced BDD for the union of all states in accepting BSCCs