PrintForm
Definitions
graph
1
3
Sections
Graphs
Doc
At:
gro
eaccw
wf
For any graph
t:GraphObject(the_graph). t.eaccw
(
T:Type, s:T, x:V, f:(T
V
T).
L:V List. (
y:V. x-the_graph- > y
(y
L)) & t.eacc(f,s,x) = list_accum(s',x'.f(s',x');s;L))
By:
YRecModulePiTac 7 `graphobj` [`gro_eq`;`gro_eqw`;`gro_eacc`;`gro_eaccw`;`gro_vacc`;`gro_vaccw`;`gro_other`]
Generated subgoals:
None
About:
PrintForm
Definitions
graph
1
3
Sections
Graphs
Doc
For any graph
t:GraphObject(the_graph). t.eaccw 
(T:Type, s:T, x:V, f:(T
VT). 
L:V List. (y:V. x-the_graph- > y 
(y L)) & t.eacc(f,s,x) = list_accum(s',x'.f(s',x');s;L))