SimpleClSemistableReasoner

java.lang.Object

org.tweetyproject.arg.dung.reasoner.AbstractClaimBasedReasoner

org.tweetyproject.arg.dung.reasoner.SimpleClSemistableReasoner

All Implemented Interfaces:: ModelProvider<ClaimArgument,ClaimBasedTheory,ClaimSet>, QualitativeReasoner<ClaimBasedTheory,ClaimArgument>, Reasoner<Boolean,ClaimBasedTheory,ClaimArgument>

public class SimpleClSemistableReasoner extends AbstractClaimBasedReasoner

a simple claimbased semi stable reasoner

Author:: Sebastian Franke

Constructor Summary

Constructors

Constructor

Description

SimpleClSemistableReasoner()

Creates a new SimpleClSemistableReasoner instance.
Method Summary

Modifier and Type

Method

Description

ClaimSet

getModel(ClaimBasedTheory bbase)

Computes one claim-based semistable extension.

Set<ClaimSet>

getModels(ClaimBasedTheory bbase)

Computes all claim-based semistable extensions.

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
- SimpleClSemistableReasoner
  
  public SimpleClSemistableReasoner()
  
  Creates a new SimpleClSemistableReasoner instance.
Method Details
- getModels
  
  public Set<ClaimSet> getModels(ClaimBasedTheory bbase)
  
  Computes all claim-based semistable extensions.
  
  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)
  
  Computes one claim-based semistable extension.
  
  Specified by:
  
  getModel in interface ModelProvider<ClaimArgument,ClaimBasedTheory,ClaimSet>
  
  Specified by:
  
  getModel in class AbstractClaimBasedReasoner
  
  Parameters:
  
  bbase - the claim based thory
  
  Returns:
  
  one 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.