Package li.selman.jpbe.datastructure

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 Summary

Modifier and Type	Method	Description
Expressions	computeOptimalTraceExpression()

Methods inherited from class java.lang.Object

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

Method Details

computeOptimalTraceExpression

public Expressions computeOptimalTraceExpression()