net.sf.tweety.lp.asp.reasoner

Class SolverBase

java.lang.Object

net.sf.tweety.lp.asp.reasoner.SolverBase

All Implemented Interfaces:

Solver

Direct Known Subclasses:

Clingo, DLV, DLVComplex

public abstract class SolverBase
extends java.lang.Object
implements Solver

Base class for solver adds generic error handling code.

Author:

Tim Janus

Field Summary

Fields

Modifier and Type	Field and Description
protected AspInterface	ai

Constructor Summary

Constructors

Constructor and Description
SolverBase()

Method Summary

Modifier and Type	Method and Description
protected void	checkErrors() Default implementation of error checking (should work for DLV package)
protected void	checkSolver(java.lang.String path) Checks if the solver in the given path is an existing file with execute permission.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface net.sf.tweety.lp.asp.reasoner.Solver

computeModels, computeModels, computeModels

Field Detail

ai

protected AspInterface ai

Constructor Detail

SolverBase

public SolverBase()

Method Detail

checkSolver

protected void checkSolver(java.lang.String path)
                    throws SolverException

Checks if the solver in the given path is an existing file with execute permission. If this is not the case, a SolverException is thrown.

Parameters:

path - a String containing a path to a solver

Throws:

SolverException

checkErrors

protected void checkErrors()
                    throws SolverException

Default implementation of error checking (should work for DLV package)

Throws:

SolverException