@Test(expectedExceptions = Exception.class) public void testMealyDHCInternalSate() { ExampleStack stackExample = ExampleStack.createExample(); MealyMachine<?, ExampleStack.Input, ?, ExampleStack.Output> fm = stackExample.getReferenceAutomaton(); Alphabet<ExampleStack.Input> alphabet = stackExample.getAlphabet(); MealySimulatorOracle<ExampleStack.Input, ExampleStack.Output> simoracle = new MealySimulatorOracle<>(fm); MealyDHC<ExampleStack.Input, ExampleStack.Output> dhc = new MealyDHC<>(alphabet, simoracle); dhc.getHypothesisModel(); }
@Override public CompactMealy<I, O> getHypothesisModel() { checkInternalState(); return hypothesis; }
MealyDHC implements MealyLearner<I, O>,
                                       AccessSequenceTransformer<I>,
                                       GlobalSuffixLearnerMealy<I, O>,
                                       SupportsGrowingAlphabet<I>,
                                       Resumable<MealyDHCState<I, O>> { @Override public CompactMealy<I, O> getHypothesisModel() { checkInternalState(); return hypothesis; } }
MealyDHC implements MealyLearner<I, O>,
                                       AccessSequenceTransformer<I>,
                                       GlobalSuffixLearnerMealy<I, O>,
                                       SupportsGrowingAlphabet<I>,
                                       Resumable<MealyDHCState<I, O>> { @Override public CompactMealy<I, O> getHypothesisModel() { checkInternalState(); return hypothesis; } MealyDHC(Alphabet<I> alphabet, MembershipOracle<I, Word<O>> oracle); @GenerateBuilder(defaults = BuilderDefaults.class, builderFinal = false)  MealyDHC(Alphabet<I> alphabet,
                    MembershipOracle<I, Word<O>> oracle,
                    GlobalSuffixFinder<? super I, ? super Word<O>> suffixFinder,
                    Collection<? extends Word<I>> initialSplitters); }
MealyDHC implements MealyLearner<I, O>,
                                       AccessSequenceTransformer<I>,
                                       GlobalSuffixLearnerMealy<I, O>,
                                       SupportsGrowingAlphabet<I>,
                                       Resumable<MealyDHCState<I, O>> { @Override public CompactMealy<I, O> getHypothesisModel() { checkInternalState(); return hypothesis; } MealyDHC(Alphabet<I> alphabet, MembershipOracle<I, Word<O>> oracle); @GenerateBuilder(defaults = BuilderDefaults.class, builderFinal = false)  MealyDHC(Alphabet<I> alphabet,
                    MembershipOracle<I, Word<O>> oracle,
                    GlobalSuffixFinder<? super I, ? super Word<O>> suffixFinder,
                    Collection<? extends Word<I>> initialSplitters); @Override Collection<Word<I>> getGlobalSuffixes(); @Override boolean addGlobalSuffixes(Collection<? extends Word<I>> newGlobalSuffixes); @Override void startLearning(); @Override boolean refineHypothesis(DefaultQuery<I, Word<O>> ceQuery); @Override CompactMealy<I, O> getHypothesisModel(); @Override void addAlphabetSymbol(I symbol); @Override MealyDHCState<I, O> suspend(); @Override void resume(final MealyDHCState<I, O> state); @Override Word<I> transformAccessSequence(Word<I> word); @Override boolean isAccessSequence(Word<I> word); }
MealyDHC implements MealyLearner<I, O>,
                                       AccessSequenceTransformer<I>,
                                       GlobalSuffixLearnerMealy<I, O>,
                                       SupportsGrowingAlphabet<I>,
                                       Resumable<MealyDHCState<I, O>> { @Override public CompactMealy<I, O> getHypothesisModel() { checkInternalState(); return hypothesis; } MealyDHC(Alphabet<I> alphabet, MembershipOracle<I, Word<O>> oracle); @GenerateBuilder(defaults = BuilderDefaults.class, builderFinal = false)  MealyDHC(Alphabet<I> alphabet,
                    MembershipOracle<I, Word<O>> oracle,
                    GlobalSuffixFinder<? super I, ? super Word<O>> suffixFinder,
                    Collection<? extends Word<I>> initialSplitters); @Override Collection<Word<I>> getGlobalSuffixes(); @Override boolean addGlobalSuffixes(Collection<? extends Word<I>> newGlobalSuffixes); @Override void startLearning(); @Override boolean refineHypothesis(DefaultQuery<I, Word<O>> ceQuery); @Override CompactMealy<I, O> getHypothesisModel(); @Override void addAlphabetSymbol(I symbol); @Override MealyDHCState<I, O> suspend(); @Override void resume(final MealyDHCState<I, O> state); @Override Word<I> transformAccessSequence(Word<I> word); @Override boolean isAccessSequence(Word<I> word);  }