MaxFst(X) == (p from X with maximum fst(p))
Definitions :
pi1: fst(t),
max-f-class: (v from X with maximum f[v])
FDL editor aliases :
max-fst-class
MaxFst(X) == (p from X with maximum fst(p))
Date html generated:
2010_08_27-PM-02_25_16
Last ObjectModification:
2010_08_05-PM-01_45_13
Home
Index