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 java.lang.Object

Constructor Summary

ReachabilityTrace.Algorithms()

Method Summary

static java.util.Collection

collectReachabilityTraces(SSADefinition def1, SSADefinition def2)

Methods inherited from class java.lang.Object

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

Constructor Detail

ReachabilityTrace.Algorithms

public ReachabilityTrace.Algorithms()

Method Detail

collectReachabilityTraces

public static java.util.Collection collectReachabilityTraces(SSADefinition def1,
                                                             SSADefinition def2)