joeq.Compiler.Analysis.IPSSA.Utils
Class ReachabilityTrace.Algorithms

java.lang.Object
  joeq.Compiler.Analysis.IPSSA.Utils.ReachabilityTrace.Algorithms

Enclosing class:

ReachabilityTrace

public static class ReachabilityTrace.Algorithms
extends Object

Constructor Summary

ReachabilityTrace.Algorithms()

Method Summary

static Collection

collectReachabilityTraces(SSADefinition def1, SSADefinition def2)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ReachabilityTrace.Algorithms

public ReachabilityTrace.Algorithms()

Method Detail

collectReachabilityTraces

public static Collection collectReachabilityTraces(SSADefinition def1,
                                                   SSADefinition def2)