Class SolverException

java.lang.Object
java.lang.Throwable
java.lang.Exception
org.tweetyproject.lp.asp.reasoner.SolverException
All Implemented Interfaces:
Serializable

public class SolverException extends Exception
This class models a generic exception for ASP solvers.
Author:
Thomas Vengels, Tim Janus
See Also:
  • Field Details

    • SE_ERROR

      public static int SE_ERROR
    • SE_IO_FAILED

      public static int SE_IO_FAILED
    • SE_NO_BINARY

      public static int SE_NO_BINARY
    • SE_SYNTAX_ERROR

      public static int SE_SYNTAX_ERROR
    • SE_CANNOT_OPEN_INPUT

      public static int SE_CANNOT_OPEN_INPUT
    • SE_CANNOT_FIND_SOLVER

      public static int SE_CANNOT_FIND_SOLVER
    • SE_PERMISSIONS

      public static int SE_PERMISSIONS
    • solverErrorText

      public final String solverErrorText
    • solverErrorCode

      public final int solverErrorCode
  • Constructor Details

    • SolverException

      public SolverException(String text, int exceptionCode)
      Creates a new SolverException with the given message.
      Parameters:
      text - the text for the exception
      exceptionCode - the exception code
  • Method Details