[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS-Help] Digraphs - initialization

I would like to know if I am initializing a Digraph properly. Below is the code I'm using.
%Initialize graph
InitGraph: digraph[Entity] = (#vert:= add(X, add(Y, singleton[Entity](Z))), edges:= add((X,Y), add((Y,Z),emptyset[edgetype]))#)
This gives me a TCC which I can solve using grind, but I don't think it is doing what I want it to do.
Any suggestions would be helpful.

Help yourself to FREE treats served up daily at the Messenger Café. Stop by today!