increaseAutomatonWithInversePropertyAutomaton(leafPropertyAutomaton,autoOfInv_Role);
}
}
protected Automaton minimizeAndNormalizeAutomaton(Automaton automaton) {
Reducer minimizerDeterminizer=new Reducer();
Normalizer normalizer=new Normalizer();
Automaton tempMinimizedAuto=minimizerDeterminizer.transform(automaton);
if (tempMinimizedAuto.delta().size()>=automaton.delta().size())
return automaton;
if (tempMinimizedAuto.initials().size()!=1 || tempMinimizedAuto.terminals().size()!=1)
tempMinimizedAuto=normalizer.transform(tempMinimizedAuto);
if (tempMinimizedAuto.delta().size()>automaton.delta().size())
return automaton;
return tempMinimizedAuto;
}