Package org.tweetyproject.arg.aba.reasoner

Class CompleteReasoner<T extends Formula>

java.lang.Object

org.tweetyproject.arg.aba.reasoner.GeneralAbaReasoner<T>

org.tweetyproject.arg.aba.reasoner.CompleteReasoner<T>

Type Parameters:

T - the language of the underlying ABA theory

All Implemented Interfaces:

ModelProvider<Assumption<T>,AbaTheory<T>,AbaExtension<T>>, QualitativeReasoner<AbaTheory<T>,Assumption<T>>, Reasoner<Boolean,AbaTheory<T>,Assumption<T>>

public class CompleteReasoner<T extends Formula>
extends GeneralAbaReasoner<T>

This reasoner for ABA theories performs inference on the complete extensions.

Author:

Nils Geilen (geilenn@uni-koblenz.de), Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
CompleteReasoner()	Default

Method Summary

Modifier and Type	Method	Description
Collection<AbaExtension<T>>	getModels(AbaTheory<T> abat)	Returns a characterizing model of the given belief base
boolean	isInstalled()	the solver is natively installed and is therefore always installed

Methods inherited from class org.tweetyproject.arg.aba.reasoner.GeneralAbaReasoner

getModel, query, query

Methods inherited from class java.lang.Object

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

Constructor Details

CompleteReasoner

public CompleteReasoner()

Default

Method Details

getModels

public Collection<AbaExtension<T>> getModels(AbaTheory<T> abat)

Description copied from interface: ModelProvider

Returns a characterizing model of the given belief base

Specified by:

getModels in interface ModelProvider<Assumption<T extends Formula>,AbaTheory<T extends Formula>,AbaExtension<T extends Formula>>

Specified by:

getModels in class GeneralAbaReasoner<T extends Formula>

Parameters:

abat - some belief base

Returns:

the (selected) models of the belief base

isInstalled

public boolean isInstalled()

the solver is natively installed and is therefore always installed

Returns:

`true` if the solver is installed and available, `false` otherwise.