Package org.tweetyproject.arg.dung.reasoner

Class SimpleClStableReasoner

java.lang.Object

org.tweetyproject.arg.dung.reasoner.AbstractClaimBasedReasoner

org.tweetyproject.arg.dung.reasoner.SimpleClStableReasoner

All Implemented Interfaces:

ModelProvider<ClaimArgument,ClaimBasedTheory,ClaimSet>, QualitativeReasoner<ClaimBasedTheory,ClaimArgument>, Reasoner<Boolean,ClaimBasedTheory,ClaimArgument>

public class SimpleClStableReasoner
extends AbstractClaimBasedReasoner

a claim based stable reaonser

Author:

Sebastian Franke

Constructor Summary

Constructors

Constructor	Description
SimpleClStableReasoner()

Method Summary

Modifier and Type	Method	Description
ClaimSet	getModel(ClaimBasedTheory bbase)	get one claim sets that fulfill the given semantics
Set<ClaimSet>	getModels(ClaimBasedTheory bbase)	get all claim sets that fulfill the given semantics
boolean	isInstalled()	Checks whether the underlying solver or reasoning mechanism used by this reasoner is installed and available for use.

Methods inherited from class org.tweetyproject.arg.dung.reasoner.AbstractClaimBasedReasoner

query

Methods inherited from class java.lang.Object

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

Constructor Details

SimpleClStableReasoner

public SimpleClStableReasoner()

Method Details

getModels

public Set<ClaimSet> getModels(ClaimBasedTheory bbase)

Description copied from class: AbstractClaimBasedReasoner

get all claim sets that fulfill the given semantics

Specified by:

getModels in interface ModelProvider<ClaimArgument,ClaimBasedTheory,ClaimSet>

Specified by:

getModels in class AbstractClaimBasedReasoner

Parameters:

bbase - the claim based thory

Returns:

all extensions of the semantics

getModel

public ClaimSet getModel(ClaimBasedTheory bbase)

Description copied from class: AbstractClaimBasedReasoner

get one claim sets that fulfill the given semantics

Specified by:

getModel in interface ModelProvider<ClaimArgument,ClaimBasedTheory,ClaimSet>

Specified by:

getModel in class AbstractClaimBasedReasoner

Parameters:

bbase - the claim based thory

Returns:

an extensions of the semantics

isInstalled

public boolean isInstalled()

Description copied from interface: QualitativeReasoner

Checks whether the underlying solver or reasoning mechanism used by this reasoner is installed and available for use. This can be helpful when the reasoner depends on external tools or libraries for performing the reasoning tasks.

Returns:

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