kind-loc(k;i) == islocal(k) 
destination(lnk(k)) = i
Definitions :
bor: p q,
islocal: islocal(k),
eq_id: a = b,
ldst: destination(l),
lnk: lnk(k)
FDL editor aliases :
kind-loc
kind-loc(k;i) == islocal(k) \mvee{}\msubb{}destination(lnk(k)) = i
Date html generated:
2010_08_26-PM-11_42_12
Last ObjectModification:
2008_02_27-PM-09_34_50
Home
Index