AbstractAdfReasonerFactory

java.lang.Object

org.tweetyproject.web.services.adf.AbstractAdfReasonerFactory

public abstract class AbstractAdfReasonerFactory extends Object

Abstract factory for retrieving ADF reasoners.

Author:: Lars Bengel

Method Summary

Modifier and Type

Method

Description

static AbstractDialecticalFramework

getAdf(int nr_of_arguments, List<String> conditions)

Constructs a new ADF from the given information

static AbstractADFReasoner

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 AbstractADFReasoner getReasoner(Semantics sem)
  
  Creates a new reasoner measure of the given semantics with default settings.
  
  Parameters:
  
  sem - some identifier of a semantics.
  
  Returns:
  
  the requested reasoner.
- getAdf
  
  public static AbstractDialecticalFramework getAdf(int nr_of_arguments, List<String> conditions)
  
  Constructs a new ADF from the given information
  
  Parameters:
  
  nr_of_arguments - the number of arguments
  
  conditions - the acceptance conditions as a list of KPP-strings
  
  Returns:
  
  An ADF inferred from the given data