import { TestGraph } from '../generation/generators/types'; import { PropertyValidationResult } from './types'; /** * Validate flow network properties. * * A flow network must satisfy: * 1. Directed graph with source and sink nodes * 2. Non-negative edge capacities (weights) * 3. Every node lies on some path from source to sink * 4. No edges enter the source * 5. No edges leave the sink * * @param graph - The graph to validate * @returns PropertyValidationResult with flow network validation */ export declare const validateFlowNetwork: (graph: TestGraph) => PropertyValidationResult; //# sourceMappingURL=flow-validator.d.ts.map