/**
 * Graph Specification System
 *
 * Atomic graph-type properties using discriminated unions for type-safe composition.
 * Each property is a disjoint union with a `kind` discriminator for exhaustiveness checking.
 *
 * This module re-exports all property types for convenient importing.
 */
export type { TestEdge, TestGraph, TestNode } from './test';
export type { Completeness, Connectivity, Cycles, Density, Directionality, EdgeMultiplicity, SchemaHomogeneity, SelfLoops, Weighting, } from './core.js';
export type { DegreeConstraint, EdgeArity, EdgeData, EdgeOrdering, Embedding, Layering, MeasureSemantics, Observability, OperationalSemantics, Partiteness, Ports, Rooting, Signedness, Temporal, Uncertainty, VertexCardinality, VertexData, VertexIdentity, VertexOrdering, } from './advanced.js';
export type { CommunityStructure, ScaleFree, SmallWorld, } from './network.js';
export type { Planar, UnitDisk, } from './geometric.js';
export type { Hamiltonian, Traceable, } from './path-cycle.js';
export type { ClawFree, Cograph, Line, Perfect, Split, Threshold, } from './structural.js';
export type { Cubic, SpecificRegular, StronglyRegular, } from './regularity.js';
export type { ArcTransitive, EdgeTransitive, SelfComplementary, VertexTransitive, } from './symmetry.js';
export type { Circumference, Diameter, Girth, Radius, } from './metrics.js';
export type { AlgebraicConnectivity, DominationNumber, HereditaryClass, IndependenceNumber, SpectralRadius, Spectrum, VertexCover, } from './invariants.js';
export type { BinaryTree, Branchwidth, Cage, CartesianProduct, Chordal, ChromaticNumber, Comparability, CompleteBipartite, Eulerian, FlowNetwork, Grid, Integrity, Interval, KColorable, KEdgeConnected, KVertexConnected, LexicographicProduct, MinorFree, MooreGraph, PerfectMatching, Permutation, Ramanujan, SpanningTree, Star, StrongProduct, TensorProduct, TopologicalMinorFree, Toroidal, Toughness, Tournament, Treewidth, Wheel, } from './products.js';
//# sourceMappingURL=index.d.ts.map