(3steps total) PrintForm Definitions graph 1 2 Sections Graphs Doc

At: connect wf 1
1. the_graph: Graph
2. x: Vertices(the_graph)
3. y: Vertices(the_graph)
4. p: Vertices(the_graph) List
5. path(the_graph;p)
0 < ||p||
By: Analyze -1
Generated subgoals:

None

About:
listnatural_numberless_than

(3steps total) PrintForm Definitions graph 1 2 Sections Graphs Doc