savi.alg.sat3
Class WrongFormulaException

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by savi.alg.sat3.WrongFormulaException
All Implemented Interfaces:
java.io.Serializable

public class WrongFormulaException
extends java.lang.Exception

Signals wrong formula generation.

See Also:
Serialized Form

Constructor Summary
WrongFormulaException()
          Creates a new instance of WrongFormulaException
 
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

WrongFormulaException

public WrongFormulaException()
Creates a new instance of WrongFormulaException