at.dms.backend
Class TraceInferenceGraph

java.lang.Object
  |
  +--at.dms.backend.Trace
        |
        +--at.dms.backend.TraceInferenceGraph

public class TraceInferenceGraph
extends Trace

???


Constructor Summary
TraceInferenceGraph(InferenceNode[] nodes)
          ???
 
Method Summary
 void run()
          ???
 
Methods inherited from class at.dms.backend.Trace
close, generateEdge, generateNode, write
 
Methods inherited from class java.lang.Object
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TraceInferenceGraph

public TraceInferenceGraph(InferenceNode[] nodes)
???
Method Detail

run

public void run()
???