import { TestGraph } from '../generation/generators/types';
import { PropertyValidationResult } from './types';
/**
 * Validate line graph property.
 * Line graph L(G) represents adjacency of edges in base graph G.
 * @param graph
 */
export declare const validateLine: (graph: TestGraph) => PropertyValidationResult;
/**
 * Validate self-complementary property.
 * Self-complementary graph is isomorphic to its complement.
 * @param graph
 */
export declare const validateSelfComplementary: (graph: TestGraph) => PropertyValidationResult;
/**
 * Validate threshold graph property.
 * Threshold graphs are both split and cograph.
 * @param graph
 */
export declare const validateThreshold: (graph: TestGraph) => PropertyValidationResult;
/**
 * Validate strongly regular graph property.
 * Strongly regular graphs have parameters (n, k, λ, μ).
 * @param graph
 */
export declare const validateStronglyRegular: (graph: TestGraph) => PropertyValidationResult;
/**
 * Validate vertex-transitive graph property.
 * Vertex-transitive graphs have automorphism group acting transitively on vertices.
 * @param graph
 */
export declare const validateVertexTransitive: (graph: TestGraph) => PropertyValidationResult;
/**
 * Validate edge-transitive graph property.
 * Edge-transitive graphs have automorphisms mapping any edge to any other.
 * @param graph
 */
export declare const validateEdgeTransitive: (graph: TestGraph) => PropertyValidationResult;
/**
 * Validate arc-transitive (symmetric) graph property.
 * Arc-transitive graphs are both vertex-transitive AND edge-transitive.
 * @param graph
 */
export declare const validateArcTransitive: (graph: TestGraph) => PropertyValidationResult;
//# sourceMappingURL=symmetry.d.ts.map