import { TestGraph } from '../generation/generators/types.js';
import { PropertyValidationResult } from './types.js';
/**
 * Validate ProbeChordal property.
 * Vertices partitioned into probes and non-probes, can add edges among non-probes to make chordal
 * @param graph
 * @param _adjustments
 */
export declare const validateProbeChordal: (graph: TestGraph, _adjustments?: Partial<Record<string, boolean>>) => PropertyValidationResult;
/**
 * Validate ProbeInterval property.
 * Can add edges among non-probes to form interval graph
 * @param graph
 * @param _adjustments
 */
export declare const validateProbeInterval: (graph: TestGraph, _adjustments?: Partial<Record<string, boolean>>) => PropertyValidationResult;
//# sourceMappingURL=probe.d.ts.map