LBJ2.infer
Class InferenceNotOptimalException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          LBJ2.infer.InferenceNotOptimalException

All Implemented Interfaces:

java.io.Serializable

public class InferenceNotOptimalException
extends java.lang.Exception

Exceptions of this type are thrown by the ILPInference class when the selected ILPSolver did not successfully find the optimal solution to the inference problem. Instances of this class contain a reference to the ILPSolver instance so that the user can, for instance, call the ILPSolver.write(java.lang.StringBuffer) method.

See Also:

Serialized Form

Field Summary

private java.lang.Object	head The head object of the inference problem.
private ILPSolver	solver The ILP algorithm and problem representation that failed.

Constructor Summary

InferenceNotOptimalException(ILPSolver solver, java.lang.Object head)
Initializing constructor.

Method Summary

java.lang.Object	getHead() Retrieves the head object, head.
ILPSolver	getSolver() Retrieves the ILP problem instance, solver.

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

Field Detail

solver

private ILPSolver solver

The ILP algorithm and problem representation that failed.

head

private java.lang.Object head

The head object of the inference problem.

Constructor Detail

InferenceNotOptimalException

public InferenceNotOptimalException(ILPSolver solver,
                                    java.lang.Object head)

Initializing constructor.

Parameters:

solver - The ILP algorithm and problem representation that failed.

head - The head object of the inference problem.

Method Detail

getSolver

public ILPSolver getSolver()

Retrieves the ILP problem instance, solver.

getHead

public java.lang.Object getHead()

Retrieves the head object, head.