net.sf.tweety.lp.asp.reasoner

Class DLVComplex

java.lang.Object

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

net.sf.tweety.lp.asp.reasoner.DLVComplex

All Implemented Interfaces:

Solver

public class DLVComplex
extends SolverBase

Field Summary

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

ai

Constructor Summary

Constructors

Constructor and Description
DLVComplex(String path2dlx)

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 program, int models) This method computes at most maxModels answer sets for a given program as a flat string.
protected AnswerSet	parseAnswerSet(String s)
protected AnswerSetList	processResults(List<String> result)
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

DLVComplex

public DLVComplex(String path2dlx)

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

computeModels

public AnswerSetList computeModels(String program,
                                   int models)
                            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

processResults

protected AnswerSetList processResults(List<String> result)
                                throws SolverException

Throws:

SolverException

parseAnswerSet

protected AnswerSet parseAnswerSet(String s)

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