|
97 | 97 | (:Splittance, "The *splittance* of an undirected graph."), |
98 | 98 | ] |
99 | 99 | properties_bool = Tuple{Symbol, String}[ |
100 | | - (:IsUndirectedGraph, "Is something an undirected graph?"), |
101 | | - (:IsDirectedGraph, "Is something a directed graph?"), |
102 | | - (:DigraphIsDAG, "Is a directed graph acyclic (a DAG)?"), |
103 | | - (:DigraphIsOrientation, "Is a directed graph an orientation?"), |
104 | | - (:GraphIsConnected, "Is an undirected graph connected?"), |
105 | | - (:DigraphIsWeaklyConnected, "Is a directed graph weakly connected?"), |
106 | | - (:DigraphIsStronglyConnected, "Is a directed graph strongly connected?"), |
107 | | - (:GraphIsBipartite, "Is an undirected graph bipartite?"), |
108 | | - (:GraphIsCompleteBipartite, "Is an undirected graph complete bipartite? Also known as *biclique*."), |
109 | | - (:GraphIsPath, "Is an undirected graph a path?"), |
110 | | - (:GraphIsCycle, "Is an undirected graph a cycle?"), |
111 | | - (:GraphIsPlanar, "Is an undirected graph planar?"), |
112 | | - (:DigraphIsPlanar, "Is a directed graph planar?"), |
113 | | - (:GraphIsOuterplanar, "Is an undirected graph outerplanar?"), |
114 | | - (:GraphIsMaximalOuterplanar, "Is an undirected graph maximal outerplanar?"), |
115 | | - (:GraphIsTriangleFree, "Is an undirected graph triangle-free?"), |
116 | | - (:GraphIsComplete, "Is an undirected graph complete?"), |
117 | | - (:GraphIsRegular, "Is an undirected graph regular?"), |
118 | | - (:GraphIsPerfect, "Is an undirected graph perfect?"), |
119 | | - (:GraphIsTriviallyPerfect, "Is an undirected graph trivially perfect?"), |
120 | | - (:GraphIsModular, "Is an undirected graph modular?"), |
121 | | - (:GraphIsMedianGraph, "Is an undirected graph a median graph?"), |
122 | | - (:GraphIsSquaregraph, "Is an undirected graph a squaregraph?"), |
123 | | - (:GraphIsForest, "Is an undirected graph a forest?"), |
124 | | - (:GraphIsTree, "Is an undirected graph a tree?"), |
125 | | - (:GraphIsStar, "Is an undirected graph a star?"), |
126 | | - (:GraphIsIndifferenceGraph, "Is an undirected graph an indifference graph?"), |
127 | | - (:GraphIsIntervalGraph, "Is an undirected graph an interval graph?"), |
128 | | - (:GraphIsPtolemaic, "Is an undirected graph Ptolemaic?"), |
129 | | - (:GraphIsChordal, "Is an undirected graph chordal?"), |
130 | | - (:GraphIsStronglyChordal, "Is an undirected graph strongly chordal?"), |
131 | | - (:GraphIsDuallyChordal, "Is an undirected graph dually chordal? Note: a dually chordal graph is not always chordal."), |
132 | | - (:GraphIsChordalBipartite, "Is an undirected graph chordal bipartite? Note: a chordal bipartite graph is not always chordal."), |
133 | | - (:GraphIsMeynielGraph, "Is an undirected graph a Meyniel graph?"), |
134 | | - (:GraphIsCircleGraph, "Is an undirected graph a circle graph?"), |
135 | | - (:GraphIsPermutationGraph, "Is an undirected graph a permutation graph?"), |
136 | | - (:GraphIsCograph, "Is an undirected graph a cograph?"), |
137 | | - (:GraphIsComparabilityGraph, "Is an undirected graph a comparability graph?"), |
138 | | - (:GraphIsDistanceHereditary, "Is an undirected graph distance-hereditary?"), |
139 | | - (:GraphIsSplitGraph, "Is an undirected graph a split graph?"), |
140 | | - (:GraphIsCartesianProduct, "Is an undirected graph a Cartesian product of two graphs? Also known as the *box product*."), |
| 100 | + (:IsUndirectedGraph, "Is something an *undirected graph*?"), |
| 101 | + (:IsDirectedGraph, "Is something a *directed graph*?"), |
| 102 | + (:DigraphIsDAG, "Is a directed graph *acyclic* (a *directed acyclic graph*, also known as a *DAG*)?"), |
| 103 | + (:DigraphIsOrientation, "Is a directed graph an *orientation*?"), |
| 104 | + (:GraphIsConnected, "Is an undirected graph *connected*?"), |
| 105 | + (:DigraphIsWeaklyConnected, "Is a directed graph *weakly connected*?"), |
| 106 | + (:DigraphIsStronglyConnected, "Is a directed graph *strongly connected*?"), |
| 107 | + (:GraphIsBipartite, "Is an undirected graph *bipartite*?"), |
| 108 | + (:GraphIsCompleteBipartite, "Is an undirected graph *complete bipartite*? Also known as *biclique*."), |
| 109 | + (:GraphIsPath, "Is an undirected graph a *path*?"), |
| 110 | + (:GraphIsCycle, "Is an undirected graph a *cycle*?"), |
| 111 | + (:GraphIsPlanar, "Is an undirected graph *planar*?"), |
| 112 | + (:DigraphIsPlanar, "Is a directed graph *planar*?"), |
| 113 | + (:GraphIsOuterplanar, "Is an undirected graph *outerplanar*?"), |
| 114 | + (:GraphIsMaximalOuterplanar, "Is an undirected graph *maximal outerplanar*?"), |
| 115 | + (:GraphIsTriangleFree, "Is an undirected graph *triangle-free*?"), |
| 116 | + (:GraphIsComplete, "Is an undirected graph *complete*?"), |
| 117 | + (:GraphIsRegular, "Is an undirected graph *regular*?"), |
| 118 | + (:GraphIsPerfect, "Is an undirected graph *perfect*?"), |
| 119 | + (:GraphIsTriviallyPerfect, "Is an undirected graph *trivially perfect*?"), |
| 120 | + (:GraphIsModular, "Is an undirected graph *modular*?"), |
| 121 | + (:GraphIsMedianGraph, "Is an undirected graph a *median graph*?"), |
| 122 | + (:GraphIsSquaregraph, "Is an undirected graph a *squaregraph*?"), |
| 123 | + (:GraphIsForest, "Is an undirected graph a *forest*?"), |
| 124 | + (:GraphIsTree, "Is an undirected graph a *tree*?"), |
| 125 | + (:GraphIsStar, "Is an undirected graph a *star*?"), |
| 126 | + (:GraphIsIndifferenceGraph, "Is an undirected graph an *indifference graph*?"), |
| 127 | + (:GraphIsIntervalGraph, "Is an undirected graph an *interval graph*?"), |
| 128 | + (:GraphIsPtolemaic, "Is an undirected graph *Ptolemaic*?"), |
| 129 | + (:GraphIsChordal, "Is an undirected graph *chordal*?"), |
| 130 | + (:GraphIsStronglyChordal, "Is an undirected graph *strongly chordal*?"), |
| 131 | + (:GraphIsDuallyChordal, "Is an undirected graph *dually chordal*? Note: a dually chordal graph is not always chordal."), |
| 132 | + (:GraphIsChordalBipartite, "Is an undirected graph *chordal bipartite*? Note: a chordal bipartite graph is not always chordal."), |
| 133 | + (:GraphIsMeynielGraph, "Is an undirected graph a *Meyniel graph*?"), |
| 134 | + (:GraphIsCircleGraph, "Is an undirected graph a *circle graph*?"), |
| 135 | + (:GraphIsPermutationGraph, "Is an undirected graph a *permutation graph*?"), |
| 136 | + (:GraphIsCograph, "Is an undirected graph a *cograph*?"), |
| 137 | + (:GraphIsComparabilityGraph, "Is an undirected graph a *comparability graph*?"), |
| 138 | + (:GraphIsDistanceHereditary, "Is an undirected graph *distance-hereditary*?"), |
| 139 | + (:GraphIsSplitGraph, "Is an undirected graph a *split graph*?"), |
| 140 | + (:GraphIsCartesianProduct, "Is an undirected graph a *Cartesian product* of two graphs? Also known as the *box product*."), |
141 | 141 | ] |
142 | 142 | for (typ, properties) ∈ ( |
143 | 143 | (AbstractVector{<:Integer}, properties_abstractvector_integer), |
|
0 commit comments