Interface ScratchData

interface ScratchData {
    __clava_flow__clava_flow_graph: {
        jpToNodeMap: Record<string, string[]>;
    };
    edgeIdGenerator: undefined | IdGenerator;
    nodeIdGenerator: undefined | IdGenerator;
}

Properties

__clava_flow__clava_flow_graph: {
jpToNodeMap: Record<string, string[]>;
}

edgeIdGenerator: undefined | IdGenerator

The Edge.IdGenerator to be used when generating edge identifiers.

nodeIdGenerator: undefined | IdGenerator

The Node.IdGenerator to be used when generating node identifiers.