|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--at.dms.backend.Trace | +--at.dms.backend.TraceInferenceGraph
???
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 |
|
Constructor Detail |
public TraceInferenceGraph(InferenceNode[] nodes)
Method Detail |
public void run()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |