[ library(grasper) | Reference Manual | Alphabetic Index ]
# graph_labeling(+Graph)

Labels a graph variable.
*Graph*
- A graph.

## Description

Labels a graph variable.
### Fail Conditions

Fails
if Graph is not a graph variable.
## Examples

?- graph_labeling(G).
No.
?- V`::[]..[1,2], E`::[]..[[1,2],[2,1]], dirgraph(G,V,E), graph_labeling(G).
V = []
E = []
G = dirgraph([], [])
Yes ? ;
V = [2]
E = []
G = dirgraph([2], [])
Yes ? ;
V = [1]
E = []
G = dirgraph([1], [])
Yes ? ;
V = [1, 2]
E = []
G = dirgraph([1, 2], [])
Yes ? ;
V = [1, 2]
E = [[2, 1]]
G = dirgraph([1, 2], [[2, 1]])
Yes ? ;
V = [1, 2]
E = [[1, 2]]
G = dirgraph([1, 2], [[1, 2]])
Yes ? ;
V = [1, 2]
E = [[1, 2], [2, 1]]
G = dirgraph([1, 2], [[1, 2], [2, 1]])
Yes
?- V`::[]..[1,2], E`::[]..[[1,2],[2,1]], undirgraph(G,V,E), graph_labeling(G).
V = []
E = []
G = undirgraph([], [])
Yes ? ;
V = [2]
E = []
G = undirgraph([2], [])
Yes ? ;
V = [1]
E = []
G = undirgraph([1], [])
Yes ? ;
V = [1, 2]
E = []
G = undirgraph([1, 2], [])
Yes ? ;
V = [1, 2]
E = [[1, 2], [2, 1]]
G = undirgraph([1, 2], [[1, 2], [2, 1]])
Yes