de.ls5.jlearn.equivalenceoracles
Class SimulatorEquivalenceOracle

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

All Implemented Interfaces:

EquivalenceOracle

public class SimulatorEquivalenceOracle
extends Object
implements EquivalenceOracle

Author:

fh

Constructor Summary

SimulatorEquivalenceOracle(Automaton model)

SimulatorEquivalenceOracle(Automaton model, boolean minimize)

SimulatorEquivalenceOracle(Automaton model, boolean minimize, boolean incremental)

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

SimulatorEquivalenceOracle

public SimulatorEquivalenceOracle(Automaton model)

SimulatorEquivalenceOracle

public SimulatorEquivalenceOracle(Automaton model,
                                  boolean minimize)

SimulatorEquivalenceOracle

public SimulatorEquivalenceOracle(Automaton model,
                                  boolean minimize,
                                  boolean incremental)

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