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
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 java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
RivestAllSuffixesSplitterCreator
public RivestAllSuffixesSplitterCreator()
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 oracleoutput
- output of the target system in reaction to the target systemoracle
- connector to the target systemhypothesis
- 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.