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