de.ls5.jlearn.oracles
Class PrefixEnforcementFilter

java.lang.Object
  de.ls5.jlearn.oracles.PrefixEnforcementFilter

All Implemented Interfaces:

Oracle, Serializable

public class PrefixEnforcementFilter
extends Object
implements Oracle

will always execute a prefix before executing the membership query and will strip the corresponding prefix from the oracle's answer. can be used to infer only parts of a system.

Author:

fh

See Also:

Serialized Form

Constructor Summary

PrefixEnforcementFilter(Word prefix)

PrefixEnforcementFilter(Word prefix, Oracle oracle)

Method Summary

Oracle	getOracle()
Word	getPrefix()
Word	processQuery(Word query) Process an incoming sequence (word) of input symbols and return a sequence (word) of output symbols produced as reacion to the input symbols.
void	setOracle(Oracle oracle)
void	setPrefix(Word prefix)

Methods inherited from class java.lang.Object

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

Constructor Detail

PrefixEnforcementFilter

public PrefixEnforcementFilter(Word prefix)

PrefixEnforcementFilter

public PrefixEnforcementFilter(Word prefix,
                               Oracle oracle)

Method Detail

processQuery

public Word processQuery(Word query)
                  throws LearningException

Description copied from interface: Oracle

Process an incoming sequence (word) of input symbols and return a sequence (word) of output symbols produced as reacion to the input symbols.

Specified by:

processQuery in interface Oracle

Parameters:

query - Word object respresenting the query the system is supposed to process

Returns:

Word object with the system's response to the provide query

Throws:

LearningException

getPrefix

public Word getPrefix()

Returns:

the prefix

setPrefix

public void setPrefix(Word prefix)

Parameters:

prefix - the prefix to set

getOracle

public Oracle getOracle()

Returns:

the oracle

setOracle

public void setOracle(Oracle oracle)

Parameters:

oracle - the oracle to set