(binary? graph ) |
(multigraph? graph ) |
(<mbingraph*>? graph ) | |
(<mubingraph*>? graph ) (<mdbingraph*>? graph ) | |
(<mhypergraph*>? graph ) (<muhypergraph*>? graph ) | |
(<mdhypergraph*>? graph ) (<bingraph*>? graph ) | |
(<ubingraph*>? graph ) (<dbingraph*>? graph ) | |
(<hypergraph*>? graph ) (<uhypergraph*>? graph ) | |
(<dhypergraph*>? graph ) |