de.ls5.jlearn.splittercreators
Class RivestAllSuffixesSplitterCreator

java.lang.Object
  extended by de.ls5.jlearn.splittercreators.KearnsStyleSplitterCreator
      extended by de.ls5.jlearn.splittercreators.RivestStyleSplitterCreator
          extended by 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


Copyright © 2011. All Rights Reserved.