net.sf.tweety.lp.asp.reasoner

Class DLV

java.lang.Object

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

net.sf.tweety.lp.asp.reasoner.DLV

All Implemented Interfaces:

Solver

public class DLV
extends SolverBase

Wrapper class for the DLV answer set solver command line utility.

Author:

Thomas Vengels, Tim Janus

Field Summary

Fields inherited from class net.sf.tweety.lp.asp.reasoner.SolverBase

ai

Constructor Summary

Constructors

Constructor and Description
DLV(String path2dlv)

Method Summary

Modifier and Type	Method and Description
AnswerSetList	computeModels(List<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.
AnswerSetList	computeModels(Program p, int models) This method computes at most maxModels answer sets for a given program.
AnswerSetList	computeModels(String s, int maxModels) This method computes at most maxModels answer sets for a given program as a flat string.
protected AnswerSetList	parseAnswerSets(String s) Processes a string of answer sets and returns an AnswerSetList.
protected AnswerSetList	runDLV(Program p, int nModels, String otherOptions)

Methods inherited from class net.sf.tweety.lp.asp.reasoner.SolverBase

checkErrors, checkSolver

Methods inherited from class java.lang.Object

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

Constructor Detail

DLV

public DLV(String path2dlv)

Method Detail

computeModels

public AnswerSetList computeModels(Program p,
                                   int models)
                            throws SolverException

Description copied from interface: Solver

This method computes at most maxModels answer sets for a given program.

Returns:

A list of answer sets representing the models of the given program

Throws:

SolverException

runDLV

protected AnswerSetList runDLV(Program p,
                               int nModels,
                               String otherOptions)
                        throws SolverException

Throws:

SolverException

parseAnswerSets

protected AnswerSetList parseAnswerSets(String s)

Processes a string of answer sets and returns an AnswerSetList.

Parameters:

s - DLV output

Returns:

AnswerSetList

computeModels

public AnswerSetList computeModels(String s,
                                   int maxModels)
                            throws SolverException

Description copied from interface: Solver

This method computes at most maxModels answer sets for a given program as a flat string.

Returns:

A list of answer sets representing the models of the given program

Throws:

SolverException

computeModels

public AnswerSetList computeModels(List<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.

Returns:

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

Throws:

SolverException