Ejemplo n.º 1
0
 public static int NextBasicEvent(this FaultTree.FaultTree ft)
 {
     return(ft.reduce <int>(new MaxTerminalTransformer()) + 1);
 }
Ejemplo n.º 2
0
 public static int NextId(this FaultTree.FaultTree ft)
 {
     return(ft.reduce <int>(new FaultTreeMaxIdTransformer()) + 1);
 }