de.ls5.jlearn.equivalenceoracles
Class EquivalenceOracleOutputImpl

java.lang.Object
  de.ls5.jlearn.equivalenceoracles.EquivalenceOracleOutputImpl

All Implemented Interfaces:

EquivalenceOracleOutput

public class EquivalenceOracleOutputImpl
extends Object
implements EquivalenceOracleOutput

Author:

maik

Constructor Summary

EquivalenceOracleOutputImpl()

EquivalenceOracleOutputImpl(Word ce, Word co)

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

Methods inherited from class java.lang.Object

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

Constructor Detail

EquivalenceOracleOutputImpl

public EquivalenceOracleOutputImpl()

EquivalenceOracleOutputImpl

public EquivalenceOracleOutputImpl(Word ce,
                                   Word co)

Method Detail

getCounterExample

public Word getCounterExample()

Description copied from interface: EquivalenceOracleOutput

Retrieves the counterexample

Specified by:

getCounterExample in interface EquivalenceOracleOutput

Returns:

the counterexample as Word object

setCounterExample

public void setCounterExample(Word ex)

Description copied from interface: EquivalenceOracleOutput

Method to set the counterexample

Specified by:

setCounterExample in interface EquivalenceOracleOutput

Parameters:

ex - the counterexample

getOracleOutput

public Word getOracleOutput()

Description copied from interface: EquivalenceOracleOutput

Retrieves the output for the encapsulated counterexample

Specified by:

getOracleOutput in interface EquivalenceOracleOutput

Returns:

the output for the counterexample as Word object

setOracleOutput

public void setOracleOutput(Word output)

Description copied from interface: EquivalenceOracleOutput

Method to set the output for the counterexample

Specified by:

setOracleOutput in interface EquivalenceOracleOutput

Parameters:

output - output of the counterexample