import { TestGraph } from '../generation/generators/types.js'; import { PropertyValidationResult } from './types.js'; /** * Validate P5Free property. * Contains no induced path on 5 vertices * * @param graph - Test graph to validate * @param _adjustments - Optional validation adjustments * @returns PropertyValidationResult for validation details */ export declare const validateP5Free: (graph: TestGraph, _adjustments?: Partial>) => PropertyValidationResult; /** * Validate C5Free property. * Contains no induced cycle on 5 vertices * * @param graph - Test graph to validate * @param _adjustments - Optional validation adjustments * @returns PropertyValidationResult for validation details */ export declare const validateC5Free: (graph: TestGraph, _adjustments?: Partial>) => PropertyValidationResult; /** * Validate BullFree property. * Contains no induced bull graph * * @param graph - Test graph to validate * @param _adjustments - Optional validation adjustments * @returns PropertyValidationResult for validation details */ export declare const validateBullFree: (graph: TestGraph, _adjustments?: Partial>) => PropertyValidationResult; /** * Validate GemFree property. * Contains no induced gem graph * * @param graph - Test graph to validate * @param _adjustments - Optional validation adjustments * @returns PropertyValidationResult for validation details */ export declare const validateGemFree: (graph: TestGraph, _adjustments?: Partial>) => PropertyValidationResult; /** * Validate ATFree property. * No asteroidal triple of vertices * * @param graph - Test graph to validate * @param _adjustments - Optional validation adjustments * @returns PropertyValidationResult for validation details */ export declare const validateATFree: (graph: TestGraph, _adjustments?: Partial>) => PropertyValidationResult; /** * Validate HHFree property. * No induced house or hole (cycle of length >= 5) * * @param graph - Test graph to validate * @param _adjustments - Optional validation adjustments * @returns PropertyValidationResult for validation details */ export declare const validateHHFree: (graph: TestGraph, _adjustments?: Partial>) => PropertyValidationResult; /** * Validate DistanceHereditary property. * Distances preserved in all connected induced subgraphs * * @param graph - Test graph to validate * @param _adjustments - Optional validation adjustments * @returns PropertyValidationResult for validation details */ export declare const validateDistanceHereditary: (graph: TestGraph, _adjustments?: Partial>) => PropertyValidationResult; //# sourceMappingURL=forbidden-subgraph.d.ts.map