From 387fae41f4955ce4d3670fb30f05f6c0179eb16f Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 30 Aug 2012 08:14:40 +0000
Subject: [PATCH] Code comments

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5616 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/SCCComputer.java | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/prism/src/prism/SCCComputer.java b/prism/src/prism/SCCComputer.java
index ac18df12..650bbf24 100644
--- a/prism/src/prism/SCCComputer.java
+++ b/prism/src/prism/SCCComputer.java
@@ -31,8 +31,10 @@ import java.util.Vector;
 
 import jdd.*;
 
-//	interface for SCC computing classes
-
+/**
+ * Abstract class for classes that compute (B)SCCs,
+ * i.e. (bottom) strongly connected components, for a model's transition graph.
+ */
 public abstract class SCCComputer
 {
 	protected Prism prism;