net.sf.tweety.lp.asp.reasoner

Interface Solver

All Known Implementing Classes:

Clingo, DLV, DLVComplex, SolverBase

public interface Solver

This interface models common calls to an ASP solver.

Author:

Thomas Vengels

Method Summary

Modifier and Type	Method and Description
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.
AnswerSetList	computeModels(Program p, int maxModels) This method computes at most maxModels answer sets for a given program.
AnswerSetList	computeModels(java.lang.String s, int maxModels) This method computes at most maxModels answer sets for a given program as a flat string.

Method Detail

computeModels

AnswerSetList computeModels(Program p,
                            int maxModels)
                     throws SolverException

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

Parameters:

p -

maxModels -

Returns:

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

Throws:

SolverException

computeModels

AnswerSetList computeModels(java.lang.String s,
                            int maxModels)
                     throws SolverException

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

Parameters:

s -

maxModels -

Returns:

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

Throws:

SolverException

computeModels

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

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.

Parameters:

files -

maxModels -

Returns:

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

Throws:

SolverException