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()

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()

Returns:

if the solver is installed