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);
}
@Override
public final void setInitialState(Action<C> initial) {
_initial = Utils.indexOf(initial, _states);
}
@Override
public final void setState(Action<C> target) {
setState(Utils.indexOf(target, _states), getContext());
}