steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

fix docs

db4
Doug Coleman 2008-08-30 15:22:02 -05:00
parent 5122e137d4
commit b5cdc637e7
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
extra/graph-theory/graph-theory-docs.factor
View File

@ -76,16 +76,16 @@ HELP: add-edge*
{ "from" "The index of a vertex" } { "from" "The index of a vertex" }
{ "to" "The index of another vertex" } { "to" "The index of another vertex" }
{ "graph" "A graph" } } { "graph" "A graph" } }
{ $description "Adds a one-way edge to the graph, between from and to." { $description "Adds a one-way edge to the graph, between " { $snippet "from" } " and " { $snippet "to" } "."
$nl $nl
"If you want to add a two-way edge, use " { $link add-edge } " instead." } ; "If you want to add a two-way edge, use " { $link add-edge } " instead." } ;
HELP: add-edge HELP: add-edge
{ $values { $values
{ "m" "The index of a vertex" } { "u" "The index of a vertex" }
{ "n" "The index of another vertex" } { "v" "The index of another vertex" }
{ "graph" "A graph" } } { "graph" "A graph" } }
{ $description "Adds a two-way edge to the graph, between m and n." { $description "Adds a two-way edge to the graph, between " { $snippet "u" } " and " { $snippet "v" } "."
$nl $nl
"If you want to add a one-way edge, use " { $link add-edge* } " instead." } ; "If you want to add a one-way edge, use " { $link add-edge* } " instead." } ;