hasloc(k;i) == 
(isrcv(k) 
(destination(lnk(k)) = i))
Definitions :
band: p q,
isrcv: isrcv(k),
bnot: b,
eq_id: a = b,
ldst: destination(l),
lnk: lnk(k)
FDL editor aliases :
hasloc
hasloc(k;i) == \mneg{}\msubb{}(isrcv(k) \mwedge{}\msubb{} (\mneg{}\msubb{}destination(lnk(k)) = i))
Date html generated:
2010_08_26-PM-11_41_59
Last ObjectModification:
2008_02_27-PM-09_34_40
Home
Index