dRegAut
Class AutomatonNotWellDefinedException

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by java.lang.RuntimeException
              extended by dRegAut.AutomatonNotWellDefinedException
All Implemented Interfaces:
Serializable

public class AutomatonNotWellDefinedException
extends RuntimeException

Exception caused by an automaton not being well-defined.

See Also:
FA.checkWellDefined(), NFA.checkWellDefined(), Serialized Form

Constructor Summary
AutomatonNotWellDefinedException(String msg)
          Constructs a new AutomatonNotWellDefinedException.
 
Method Summary
 
Methods inherited from class java.lang.Throwable
fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

AutomatonNotWellDefinedException

public AutomatonNotWellDefinedException(String msg)
Constructs a new AutomatonNotWellDefinedException.

Parameters:
msg - error description


Copyright © 2003-2012 Anders Møller.