FDL > PVS > Graphs > subgraphs > equal? : const-decl

equal?(G1, G2): bool = subgraph?(G1, G2) AND subgraph?(G2, G1);