SimpleClInheritedReasoner

java.lang.Object

org.tweetyproject.arg.dung.reasoner.AbstractClaimBasedReasoner

org.tweetyproject.arg.dung.reasoner.SimpleClInheritedReasoner

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

public class SimpleClInheritedReasoner extends AbstractClaimBasedReasoner

calculates claim based inherited extensions

Author:: Sebastian Franke

Constructor Summary

Constructors

Constructor

Description

SimpleClInheritedReasoner()

empty constructor

SimpleClInheritedReasoner(Semantics semantics)

constructor for direct initialization of semantics
Method Summary

Modifier and Type

Method

Description

ClaimSet

getModel(ClaimBasedTheory bbase)

calculates one claim set for a given framework

Set<ClaimSet>

getModels(ClaimBasedTheory bbase)

calculates all claim sets for a given framework

boolean

isInstalled()

static void

setSemantics(Semantics semantics)

manually sets the semantics

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
- SimpleClInheritedReasoner
  
  public SimpleClInheritedReasoner(Semantics semantics)
  
  constructor for direct initialization of semantics
  
  Parameters:
  
  semantics - the Dung semantics
- SimpleClInheritedReasoner
  
  public SimpleClInheritedReasoner()
  
  empty constructor
Method Details
- getModels
  
  public Set<ClaimSet> getModels(ClaimBasedTheory bbase)
  
  calculates all claim sets for a given framework
  
  Specified by:
  
  getModels in interface ModelProvider<ClaimArgument,ClaimBasedTheory,ClaimSet>
  
  Specified by:
  
  getModels in class AbstractClaimBasedReasoner
  
  Parameters:
  
  bbase - the Dung framework to be evaluated
  
  Returns:
  
  the claim sets
- getModel
  
  public ClaimSet getModel(ClaimBasedTheory bbase)
  
  calculates one claim set for a given framework
  
  Specified by:
  
  getModel in interface ModelProvider<ClaimArgument,ClaimBasedTheory,ClaimSet>
  
  Specified by:
  
  getModel in class AbstractClaimBasedReasoner
  
  Parameters:
  
  bbase - the Dung framework to be evaluated
  
  Returns:
  
  the claim set
- setSemantics
  
  public static void setSemantics(Semantics semantics)
  
  manually sets the semantics
  
  Parameters:
  
  semantics - the Dung semantics
- isInstalled
  
  public boolean isInstalled()
  
  Returns:
  
  if the solver is installed