dst_vlnk{dst_vlnk_compseq_tag_def:o}(x; j; i) ==
compseq(destination(link_x from i to j); j)
Definitions :
ldst: destination(l),
vlnk: link_x from i to j
dst\_vlnk\{dst\_vlnk\_compseq\_tag\_def:o\}(x; j; i) == compseq(destination(link\_x from i to j); j)
Date html generated:
2010_08_26-PM-11_34_54
Last ObjectModification:
2008_02_27-PM-09_24_38
Home
Index