Ejemplo n.º 1
0
 public static void EnsureSymbolIsNotSpontaneous(this Automata automata, String symbol)
 {
     ValidationUtils.EnsureNotEquals(
         Automata.SYMBOL_SPONTANEOUS_TRANSITION,
         symbol, new InvalidValueException(
             symbol
             )
         );
 }