Package org.mpi_sws.jmc.strategies.trust

Interface ExecutionGraph.ExecutionGraphNodeVisitor

Enclosing class:
ExecutionGraph
public static interface ExecutionGraph.ExecutionGraphNodeVisitor
Generic visitor interface for the execution graph nodes.

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    visit(ExecutionGraphNode node)