de.ls5.jlearn.interfaces
Interface EquivalenceOracleOutput

All Known Implementing Classes:

EquivalenceOracleOutputImpl

public interface EquivalenceOracleOutput

Result of findCounterExample method of EquivalenceOracle if a counterexample was found. Encapsulates the counterexample and the output for the counterexample.

Author:

merten

Method Summary

Word	getCounterExample() Retrieves the counterexample
Word	getOracleOutput() Retrieves the output for the encapsulated counterexample
void	setCounterExample(Word ex) Method to set the counterexample
void	setOracleOutput(Word output) Method to set the output for the counterexample

Method Detail

getCounterExample

Word getCounterExample()

Retrieves the counterexample

Returns:

the counterexample as Word object

setCounterExample

void setCounterExample(Word ex)

Method to set the counterexample

Parameters:

ex - the counterexample

getOracleOutput

Word getOracleOutput()

Retrieves the output for the encapsulated counterexample

Returns:

the output for the counterexample as Word object

setOracleOutput

void setOracleOutput(Word output)

Method to set the output for the counterexample

Parameters:

output - output of the counterexample