Nuprl Definition : lg-is-source
lg-is-source(g;i) == if i <z lg-size(g) then null(lg-in-edges(g;i)) else ff fi
Definitions occuring in Statement :
lg-in-edges: lg-in-edges(g;x),
lg-size: lg-size(g),
null: null(as),
ifthenelse: if b then t else f fi ,
lt_int: i <z j,
bfalse: ff
FDL editor aliases :
lg-is-source
Latex:
lg-is-source(g;i) == if i <z lg-size(g) then null(lg-in-edges(g;i)) else ff fi
Date html generated:
2015_07_22-PM-00_29_29
Last ObjectModification:
2012_02_25-PM-03_35_17
Home
Index