de.ls5.jlearn.equivalenceoracles
Class SimulatorEquivalenceOracleDFA

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

All Implemented Interfaces:

EquivalenceOracle

public class SimulatorEquivalenceOracleDFA
extends Object
implements EquivalenceOracle

Author:

fh

Constructor Summary

SimulatorEquivalenceOracleDFA(Automaton model)

SimulatorEquivalenceOracleDFA(Automaton model, boolean minimize)

Method Summary

EquivalenceOracleOutput	findCounterExample(Automaton a) Search a counterexample for a provided hypothesis.
void	setOracle(Oracle o) Specifies the Oracle to be queried when searching for counterexamples

Methods inherited from class java.lang.Object

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

Constructor Detail

SimulatorEquivalenceOracleDFA

public SimulatorEquivalenceOracleDFA(Automaton model)

SimulatorEquivalenceOracleDFA

public SimulatorEquivalenceOracleDFA(Automaton model,
                                     boolean minimize)

Method Detail

findCounterExample

public EquivalenceOracleOutput findCounterExample(Automaton a)

Description copied from interface: EquivalenceOracle

Search a counterexample for a provided hypothesis.

Specified by:

findCounterExample in interface EquivalenceOracle

Parameters:

a - Automaton to be checked

Returns:

EquivalenceOracleOutput object if a counterexample was found, null otherwise

setOracle

public void setOracle(Oracle o)

Description copied from interface: EquivalenceOracle

Specifies the Oracle to be queried when searching for counterexamples

Specified by:

setOracle in interface EquivalenceOracle

Parameters:

o - Oracle to be queried