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: 2016_05_17-AM-10_10_38
Last ObjectModification: 2012_02_25-PM-03_35_17

Theory : process-model


Home Index