de.upb.swt.mcie.mc
Class Procedures

java.lang.Object
  extended by de.upb.swt.mcie.mc.Procedures

public class Procedures
extends java.lang.Object

This class implements some general procedures which might be used in some model checking algorithms.

Author:
Ekkart Kindler, kindler@upb.de

Constructor Summary
Procedures()
           
 
Method Summary
static ROBDD transClosure(Context context, ROBDD r)
          This method calculates the transitive closure of a given relation.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Procedures

public Procedures()
Method Detail

transClosure

public static ROBDD transClosure(Context context,
                                 ROBDD r)
This method calculates the transitive closure of a given relation. Note that this method is not tested yet.

Parameters:
r - the relation represented as an ROBDD
Returns:
the transitive closure of the relation represented an an ROBDD