pub(all) enum CostCriteria {
  MinimumTransportDelay
  MinimumCycleTime
  MinimumEnergyLoss
  BalancedManufacturingCost
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct CriticalAssetReport {
  single_points_of_failure : Array[String]
  critical_bridges : Array[String]
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum CycleClassification {
  ValidPalletRecirculationLoop
  DeadlockingMaterialDependency
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct DetectedCycle {
  nodes : Array[String]
  classification : CycleClassification
  description : String
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct MaxFlowResult {
  max_throughput_units_per_hour : Double
  bottleneck_min_cut_edges : Array[String]
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct NodeCentralityRanking {
  node_id : String
  degree_centrality : Int
  betweenness_score : Double
  closeness_score : Double
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct PathResult {
  nodes : Array[String]
  edges : Array[
@Bobojy00/moonbit_factory_graph/src/graph.Edge
Edge]
  total_cost : Double
  total_delay_sec : Double
  bottleneck_bandwidth : Double
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct ScheduleCriticalPath {
  ordered_stations : Array[String]
  makespan_sec : Double
  earliest_finish_times : Map[String, Double]
  critical_path : Array[String]
} derive(
@moonbitlang/core/debug.Debug
Debug)

fn compute_asset_centrality(graph : 
@Bobojy00/moonbit_factory_graph/src/graph.FactoryGraph
FactoryGraph) -> Array[NodeCentralityRanking]

fn detect_material_cycles(graph : 
@Bobojy00/moonbit_factory_graph/src/graph.FactoryGraph
FactoryGraph) -> Array[DetectedCycle]

fn dijkstra_shortest_path(graph : 
@Bobojy00/moonbit_factory_graph/src/graph.FactoryGraph
FactoryGraph, source : String, target : String, flow_type? : 
@Bobojy00/moonbit_factory_graph/src/types.FlowType
FlowType, criteria? : CostCriteria) -> PathResult?

fn edmonds_karp_max_flow(graph : 
@Bobojy00/moonbit_factory_graph/src/graph.FactoryGraph
FactoryGraph, source : String, sink : String) -> MaxFlowResult

fn find_critical_spof_assets(graph : 
@Bobojy00/moonbit_factory_graph/src/graph.FactoryGraph
FactoryGraph) -> CriticalAssetReport

fn find_disjoint_paths(graph : 
@Bobojy00/moonbit_factory_graph/src/graph.FactoryGraph
FactoryGraph, source : String, target : String, flow_type? : 
@Bobojy00/moonbit_factory_graph/src/types.FlowType
FlowType, node_disjoint? : Bool) -> Array[PathResult]

fn k_shortest_paths(graph : 
@Bobojy00/moonbit_factory_graph/src/graph.FactoryGraph
FactoryGraph, source : String, target : String, k : Int, flow_type? : 
@Bobojy00/moonbit_factory_graph/src/types.FlowType
FlowType, criteria? : CostCriteria) -> Array[PathResult]

fn strongly_connected_components(graph : 
@Bobojy00/moonbit_factory_graph/src/graph.FactoryGraph
FactoryGraph, flow_type? : 
@Bobojy00/moonbit_factory_graph/src/types.FlowType
FlowType) -> Array[Array[String]]

fn topological_production_schedule(graph : 
@Bobojy00/moonbit_factory_graph/src/graph.FactoryGraph
FactoryGraph) -> ScheduleCriticalPath?