---

lg-is-source(g;i) ==  if i <z lg-size(g) then null(lg-in-edges(g;i)) else ff fi 

---

Definitions :  ifthenelse: if b then t else f fi ,  lt_int: i <z j,  lg-size: lg-size(g),  null: null(as),  lg-in-edges: lg-in-edges(g;x),  bfalse: ff
FDL editor aliases :  lg-is-source

---

lg-is-source(g;i)  ==    if  i  <z  lg-size(g)  then  null(lg-in-edges(g;i))  else  ff  fi 


Date html generated: 2010_08_27-PM-03_43_13
Last ObjectModification: 2010_04_27-AM-11_30_57

Home Index