Class StartToFinishPath

java.lang.Object
li.selman.jpbe.datastructure.StartToFinishPath

public class StartToFinishPath extends Object
Represents all paths on Graph that lead from start to finish.
  • Method Details

    • computeOptimalTraceExpression

      public Expressions computeOptimalTraceExpression()