From 384f362218f17f7f72a16e1da3c313b5c26a7599 Mon Sep 17 00:00:00 2001 From: Neven Sajko Date: Wed, 8 Oct 2025 13:30:56 +0200 Subject: [PATCH] add more undirected graph families: distance-regular --- src/GraphProperties.jl | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/GraphProperties.jl b/src/GraphProperties.jl index 53ff12f..e4e2530 100644 --- a/src/GraphProperties.jl +++ b/src/GraphProperties.jl @@ -115,6 +115,9 @@ let (:GraphIsTriangleFree, "Is an undirected graph *triangle-free*?"), (:GraphIsComplete, "Is an undirected graph *complete*?"), (:GraphIsRegular, "Is an undirected graph *regular*?"), + (:GraphIsDistanceRegular, "Is an undirected graph *distance-regular*?"), + (:GraphIsDistanceTransitive, "Is an undirected graph *distance-transitive*?"), + (:GraphIsStronglyRegular, "Is an undirected graph *strongly regular*?"), (:GraphIsPerfect, "Is an undirected graph *perfect*?"), (:GraphIsTriviallyPerfect, "Is an undirected graph *trivially perfect*?"), (:GraphIsModular, "Is an undirected graph *modular*?"),