import { TestGraph } from '../generation/generators/types';
import { PropertyValidationResult } from './types';
/**
 * Validate Cartesian product classification.
 * Cartesian product G □ H combines two graphs.
 * We check metadata rather than actual product structure.
 * @param graph
 */
export declare const validateCartesianProduct: (graph: TestGraph) => PropertyValidationResult;
/**
 * Validate tensor (direct) product classification.
 * Tensor product G × H combines two graphs.
 * We check metadata rather than actual product structure.
 * @param graph
 */
export declare const validateTensorProduct: (graph: TestGraph) => PropertyValidationResult;
/**
 * Validate strong product classification.
 * Strong product G ⊠ H combines two graphs.
 * We check metadata rather than actual product structure.
 * @param graph
 */
export declare const validateStrongProduct: (graph: TestGraph) => PropertyValidationResult;
/**
 * Validate lexicographic product classification.
 * Lexicographic product G ∘ H combines two graphs.
 * We check metadata rather than actual product structure.
 * @param graph
 */
export declare const validateLexicographicProduct: (graph: TestGraph) => PropertyValidationResult;
//# sourceMappingURL=product.d.ts.map