public GraphStructuredProgramBuilderState(
GraphStructuredProgramDump <Node> program,
DenseIdsProvider nodeIdsProvider)
{
Program = program;
NodeIdsProvider = nodeIdsProvider;
}
public GraphStructuredProgramBuilder()
{
myNodeIdsProvider = new DenseIdsProvider();
myProgram = new GraphStructuredProgram <Node>(
() => myNodeIdsProvider.NextId(),
id => myNodeIdsProvider.FreeId(id));
}
public GraphStructuredProgramBuilder(GraphStructuredProgramBuilderState state)
{
myNodeIdsProvider = state.NodeIdsProvider;
myProgram = new GraphStructuredProgram <Node>(
() => myNodeIdsProvider.NextId(),
id => myNodeIdsProvider.FreeId(id),
state.Program);
}
