net.sf.tweety.lp.asp.solver

Class SolverBase

java.lang.Object

net.sf.tweety.lp.asp.solver.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) proofs if the solver on the given path is an existing file with execute permission.
AnswerSetList	computeModels(java.util.List<java.lang.String> files, int maxModels) this method computes at most maxModels for a given program, a collection of facts, and an arbitrary number of additional programs as a file resource.

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.solver.Solver

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

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

Parameters:

path -

Throws:

SolverException

checkErrors

protected void checkErrors()
                    throws SolverException

default implementation of error checking (should work for dlv package)

Throws:

SolverException

computeModels

public AnswerSetList computeModels(java.util.List<java.lang.String> files,
                                   int maxModels)
                            throws SolverException

Description copied from interface: Solver

this method computes at most maxModels for a given program, a collection of facts, and an arbitrary number of additional programs as a file resource.

Specified by:

computeModels in interface Solver

Returns:

A list of answer sets representing the models of union of the programs that are stored in the given files.

Throws:

SolverException