AbstractExtensionReasonerFactory

java.lang.Object

org.tweetyproject.web.services.dung.AbstractExtensionReasonerFactory

public abstract class AbstractExtensionReasonerFactory extends Object

Abstract factory for retrieving Dung extension reasoners.

Author:: Jonas Klein, Lars Bengel

Method Summary

Modifier and Type

Method

Description

static DungTheory

getDungTheory(int nr_of_arguments, List<List<Integer>> attacks)

Creates a DungTheory from the given number of arguments and attack relations.

static AbstractExtensionReasoner

getReasoner(Semantics sem)

Creates a new reasoner measure of the given semantics with default settings.

static Semantics[]

getSemantics()

Returns an array of all available semantics.

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details
- getSemantics
  
  public static Semantics[] getSemantics()
  
  Returns an array of all available semantics.
  
  Returns:
  
  An array of all available semantics.
- getReasoner
  
  public static AbstractExtensionReasoner getReasoner(Semantics sem)
  
  Creates a new reasoner measure of the given semantics with default settings.
  
  Parameters:
  
  sem - some identifier of an semantics.
  
  Returns:
  
  the requested reasoner.
- getDungTheory
  
  public static DungTheory getDungTheory(int nr_of_arguments, List<List<Integer>> attacks)
  
  Creates a DungTheory from the given number of arguments and attack relations.
  
  Parameters:
  
  nr_of_arguments - The number of arguments in the DungTheory.
  
  attacks - The attack relations represented as a list of lists of integers.
  
  Returns:
  
  A DungTheory constructed from the given arguments and attacks.