Class AbstractDemandFlowGraph