Code comments

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5616 bbc10eb1-c90d-0410-af57-cb519fbb1720

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;