[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

jerome