Serialized Form

Package org.smtlib

Exception Class org.smtlib.IParser.AbortInputException

class AbortInputException extends RuntimeException implements Serializable

serialVersionUID:

1L

Exception Class org.smtlib.IParser.ParserException

class ParserException extends Exception implements Serializable

serialVersionUID:

1L

Serialized Fields

pos

IPos pos

The location of the parsing problem

Exception Class org.smtlib.IParser.SyntaxException

class SyntaxException extends IParser.ParserException implements Serializable

serialVersionUID:

1L

Exception Class org.smtlib.ISolver.CreationException

class CreationException extends Exception implements Serializable

serialVersionUID:

1L

Exception Class org.smtlib.IVisitor.VisitorException

class VisitorException extends Exception implements Serializable

serialVersionUID:

1L

Serialized Fields

pos

IPos pos

Position information about the textual location of the error

Exception Class org.smtlib.SMT.InternalException

class InternalException extends RuntimeException implements Serializable

serialVersionUID:

1L

Exception Class org.smtlib.SolverProcess.NoResponseException

class NoResponseException extends IOException implements Serializable

serialVersionUID:

1L

Exception Class org.smtlib.SolverProcess.ProverException

class ProverException extends RuntimeException implements Serializable

serialVersionUID:

1L

Exception Class org.smtlib.Utils.SMTLIBException

class SMTLIBException extends Exception implements Serializable

serialVersionUID:

1L

Serialized Fields

errorResponse

IResponse.IError errorResponse

The error response describing the problem that caused this exception.