prefix-match(p1;p2) ==
if pisend?(p1) 
pircv?(p2) then name_eq(pisend-chan(p1);pircv-chan(p2))
if pisend?(p1) pircv?(p2) then name_eq(pisend-chan(p1);pircv-chan(p2))
else ff
fi
Definitions :
ifthenelse: if b then t else f fi ,
band: p q,
pisend?: pisend?(x),
pircv?: pircv?(x),
name_eq: name_eq(x;y),
pisend-chan: pisend-chan(x),
pircv-chan: pircv-chan(x),
bfalse: ff
FDL editor aliases :
prefix-match
prefix-match(p1;p2) ==
if pisend?(p1) \mwedge{}\msubb{} pircv?(p2) then name\_eq(pisend-chan(p1);pircv-chan(p2))
if pisend?(p1) \mwedge{}\msubb{} pircv?(p2) then name\_eq(pisend-chan(p1);pircv-chan(p2))
else ff
fi
Date html generated:
2010_08_27-PM-08_38_27
Last ObjectModification:
2010_03_16-PM-04_49_08
Home
Index