de.ls5.jlearn.splittercreators
Class RivestAllSuffixesSplitterCreator

java.lang.Object
  de.ls5.jlearn.splittercreators.KearnsStyleSplitterCreator
      de.ls5.jlearn.splittercreators.RivestStyleSplitterCreator
          de.ls5.jlearn.splittercreators.RivestAllSuffixesSplitterCreator

All Implemented Interfaces:

SplitterCreator

public class RivestAllSuffixesSplitterCreator
extends RivestStyleSplitterCreator

Author:

fh

Field Summary

Fields inherited from class de.ls5.jlearn.splittercreators.KearnsStyleSplitterCreator

hyp

Constructor Summary

RivestAllSuffixesSplitterCreator()

Method Summary

boolean	applyGlobally() Indicates that a set of suffixes is ought to be applied globally (to all states or components - or whatever data structure is used).
List<Word>	createSplitters(Word counterexample, Word output, Oracle oracle, Automaton hypothesis) Determine splitters that reveal diverging behavior between the learner's hypothesis and the target system.

Methods inherited from class de.ls5.jlearn.splittercreators.RivestStyleSplitterCreator

applyToStates

Methods inherited from class de.ls5.jlearn.splittercreators.KearnsStyleSplitterCreator

setOracle

Methods inherited from class java.lang.Object

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

Constructor Detail

RivestAllSuffixesSplitterCreator

public RivestAllSuffixesSplitterCreator()

Method Detail

createSplitters

public List<Word> createSplitters(Word counterexample,
                                  Word output,
                                  Oracle oracle,
                                  Automaton hypothesis)

Description copied from interface: SplitterCreator

Determine splitters that reveal diverging behavior between the learner's hypothesis and the target system. Those splitters are used by the learning algorithm to split states which formerly have been considered to be one state.

Specified by:

createSplitters in interface SplitterCreator

Overrides:

createSplitters in class KearnsStyleSplitterCreator

Parameters:

counterexample - counterexample provided by the equivalence oracle

output - output of the target system in reaction to the target system

oracle - connector to the target system

hypothesis - current hypothesis of the learner

Returns:

list of sequences of input symbols revealing divering behavior

applyGlobally

public boolean applyGlobally()

Description copied from interface: SplitterCreator

Indicates that a set of suffixes is ought to be applied globally (to all states or components - or whatever data structure is used). In case applyGlobally() is false, applyToStates() may be considered.

Specified by:

applyGlobally in interface SplitterCreator

Overrides:

applyGlobally in class RivestStyleSplitterCreator

Returns:

true if suffixes should be applied globally