Пример #1
0
 public CompiledTimedAutomata(
     Action<C>[] states,
     Predicate<C>[] predicates,
     Action<C> initial,
     int[][] transitionsPredicates,
     int[] timeouts,
     int[][] transitionsTarget,
     int[] timeoutsTarget) {
   this(
       states,
       predicates,
       Utils.indexOf(initial, states),
       transitionsPredicates,
       timeouts,
       transitionsTarget,
       timeoutsTarget);
 }
Пример #2
0
 @Override
 public final void setInitialState(Action<C> initial) {
   _initial = Utils.indexOf(initial, _states);
 }
Пример #3
0
 @Override
 public final void setState(Action<C> target) {
   setState(Utils.indexOf(target, _states), getContext());
 }