de.ls5.jlearn.util
Class EquivalenceTest

java.lang.Object
  de.ls5.jlearn.util.EquivalenceTest

public class EquivalenceTest
extends Object

Author:

fh

Constructor Summary

EquivalenceTest(Automaton target)

Method Summary

Word	findCounterExample(Automaton hyp)
Word	findCounterExampleWithoutChecks(Automaton hyp)
Automaton	getTarget()

Methods inherited from class java.lang.Object

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

Constructor Detail

EquivalenceTest

public EquivalenceTest(Automaton target)

Method Detail

findCounterExample

public Word findCounterExample(Automaton hyp)

findCounterExampleWithoutChecks

public Word findCounterExampleWithoutChecks(Automaton hyp)

getTarget

public Automaton getTarget()