cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.simplifying.defective.defectivemdl.suspection
Interface Suspection<T>

All Known Implementing Classes:

Onebyone, StepSuspect

public interface Suspection<T>

TODO anti Comment!

Method Summary

List<List<T>>	getNextSuspectedInputStrings()
void	setInputAutomaton(Automaton<T> inputAutomaton)
void	setInputStrings(List<List<T>> inputStrings)
void	setSymbolToString(SymbolToString<T> symbolToString)

Method Detail

setInputStrings

void setInputStrings(List<List<T>> inputStrings)

setSymbolToString

void setSymbolToString(SymbolToString<T> symbolToString)

setInputAutomaton

void setInputAutomaton(Automaton<T> inputAutomaton)

getNextSuspectedInputStrings

List<List<T>> getNextSuspectedInputStrings()