[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PVS-Help] Graph library
I'm wondering how to specify conditions of a graph (graphs@graphs[nat]).
For example, I'd like to say the graph R initially has 1 node, the root
R(0), and no edges. How can this be done? Thanks