LabeledDAG(T) == {g:LabeledGraph(T)| is-dag(g)}
Definitions :
set: {x:A| B[x]} ,
labeled-graph: LabeledGraph(T),
is-dag: is-dag(g)
FDL editor aliases :
ldag
LabeledDAG(T) == \{g:LabeledGraph(T)| is-dag(g)\}
Date html generated:
2010_08_27-PM-03_44_27
Last ObjectModification:
2010_05_28-AM-11_11_59
Home
Index