cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.simplifying.defective
Class DefectiveAutomaton<T>

java.lang.Object
  cz.cuni.mff.ksi.jinfer.base.automaton.Automaton<T>
      cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.simplifying.defective.DefectiveAutomaton<T>

public class DefectiveAutomaton<T>
extends Automaton<T>

TODO anti Comment!

Field Summary

Fields inherited from class cz.cuni.mff.ksi.jinfer.base.automaton.Automaton

delta, initialState, mergedStates, nameMap, newStateName, reverseDelta, reverseMergedStates

Constructor Summary

DefectiveAutomaton()

DefectiveAutomaton(Automaton<T> anotherAutomaton)

DefectiveAutomaton(boolean createInitialState)

Method Summary

List<List<T>>	getRemovedInputStrings()
void	minimize()
void	removeStep(Step<T> step)
void	tryRemoveInputString(List<T> string)
void	undoRemoveInputString(List<T> string)

Methods inherited from class cz.cuni.mff.ksi.jinfer.base.automaton.Automaton

buildPTAOnRegexp, buildPTAOnSymbol, createNewState, getDelta, getInitialState, getMergedStates, getNewStateName, getOutStepOnSymbol, getRealState, getReverseDelta, getReverseMergedStates, mergeStates, mergeStates, toString, toTestString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

DefectiveAutomaton

public DefectiveAutomaton(boolean createInitialState)

DefectiveAutomaton

public DefectiveAutomaton()

DefectiveAutomaton

public DefectiveAutomaton(Automaton<T> anotherAutomaton)

Method Detail

getRemovedInputStrings

public List<List<T>> getRemovedInputStrings()

removeStep

public void removeStep(Step<T> step)

minimize

public void minimize()

tryRemoveInputString

public void tryRemoveInputString(List<T> string)

undoRemoveInputString

public void undoRemoveInputString(List<T> string)