/*
 * ReachabilityAnalysis.java
 *
 * Created on December 9, 2002, 8:24 PM
 */

package JSE;

/**
 *
 * @author  S
 */
public class ReachabilityAnalysis {
    
    private Graph graph;
    private LoadedMachine mach1;
    private LoadedMachine mach2;
    
    /** Creates a new instance of ReachabilityAnalysis */
    public ReachabilityAnalysis() {
        
    }
    
    public void performAnalysis()
    {
        
    }    
    
    public void drawAnalysis()
    {
        
    }
}