public static Fst get(Fst fst)
{
if (fst.getSemiring() == null)
{
return(null);
}
ExtendFinal.apply(fst);
Semiring semiring = fst.getSemiring();
Fst fst2 = new Fst(fst.getNumStates());
fst2.setSemiring(semiring);
fst2.setIsyms(fst.getOsyms());
fst2.setOsyms(fst.getIsyms());
State[] array = new State[fst.getNumStates()];
int numStates = fst.getNumStates();
for (int i = 0; i < numStates; i++)
{
State state = fst.getState(i);
State state2 = new State(semiring.zero());
fst2.addState(state2);
array[state.getId()] = state2;
if (state.getFinalWeight() != semiring.zero())
{
fst2.setStart(state2);
}
}
array[fst.getStart().getId()].setFinalWeight(semiring.one());
for (int i = 0; i < numStates; i++)
{
State state = fst.getState(i);
State state2 = array[state.getId()];
int numArcs = state.getNumArcs();
for (int j = 0; j < numArcs; j++)
{
Arc arc = state.getArc(j);
State state3 = array[arc.getNextState().getId()];
Arc arc2 = new Arc(arc.getIlabel(), arc.getOlabel(), semiring.reverse(arc.getWeight()), state2);
state3.addArc(arc2);
}
}
ExtendFinal.undo(fst);
return(fst2);
}
public static Fst get(Fst fst, int n, bool determinize)
{
if (fst == null)
{
return(null);
}
if (fst.getSemiring() == null)
{
return(null);
}
Fst fst2 = fst;
if (determinize)
{
fst2 = Determinize.get(fst);
}
Semiring semiring = fst2.getSemiring();
Fst fst3 = new Fst(semiring);
fst3.setIsyms(fst2.getIsyms());
fst3.setOsyms(fst2.getOsyms());
float[] array = NShortestPaths.shortestDistance(fst2);
ExtendFinal.apply(fst2);
int[] array2 = new int[fst2.getNumStates()];
PriorityQueue priorityQueue = new PriorityQueue(10, new NShortestPaths_1(array, semiring));
HashMap hashMap = new HashMap(fst.getNumStates());
HashMap hashMap2 = new HashMap(fst.getNumStates());
State start = fst2.getStart();
Pair pair = new Pair(start, Float.valueOf(semiring.one()));
priorityQueue.add(pair);
hashMap.put(pair, null);
while (!priorityQueue.isEmpty())
{
Pair pair2 = (Pair)priorityQueue.remove();
State state = (State)pair2.getLeft();
Float @float = (Float)pair2.getRight();
State state2 = new State(state.getFinalWeight());
fst3.addState(state2);
hashMap2.put(pair2, state2);
if (hashMap.get(pair2) == null)
{
fst3.setStart(state2);
}
else
{
State state3 = (State)hashMap2.get(hashMap.get(pair2));
State state4 = (State)((Pair)hashMap.get(pair2)).getLeft();
for (int i = 0; i < state4.getNumArcs(); i++)
{
Arc arc = state4.getArc(i);
if (arc.getNextState().equals(state))
{
state3.addArc(new Arc(arc.getIlabel(), arc.getOlabel(), arc.getWeight(), state2));
}
}
}
Integer integer = Integer.valueOf(state.getId());
int[] array3 = array2;
int num = integer.intValue();
int[] array4 = array3;
array4[num]++;
if (array2[integer.intValue()] == n && state.getFinalWeight() != semiring.zero())
{
break;
}
if (array2[integer.intValue()] <= n)
{
for (int j = 0; j < state.getNumArcs(); j++)
{
Arc arc2 = state.getArc(j);
float num2 = semiring.times(@float.floatValue(), arc2.getWeight());
Pair pair3 = new Pair(arc2.getNextState(), Float.valueOf(num2));
hashMap.put(pair3, pair2);
priorityQueue.add(pair3);
}
}
}
return(fst3);
}
