savi.alg.sat3
Class WrongInputFormulaData

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

public class WrongInputFormulaData
extends java.lang.Exception

Signals that a syntax error occurred in the stream.

See Also:
Serialized Form

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

WrongInputFormulaData

public WrongInputFormulaData()
Creates a new instance of WrongInputFormulaData