Package org.tweetyproject.web.services.iaf

Class IafReasonerFactory

java.lang.Object

org.tweetyproject.web.services.iaf.IafReasonerFactory

public abstract class IafReasonerFactory
extends Object

Main factory for retrieving abstract extension reasoners.

Author:

Jonas Klein, Lars Bengel

Method Summary

Modifier and Type	Method	Description
static IncompleteTheory	getIncompleteTheory(int nr_of_arguments, List<Integer> uncertainArguments, List<List<Integer>> definiteAttacks, List<List<Integer>> uncertainAttacks)	Creates a IncompleteTheory from the given number of arguments and attack relations.
static IncompleteReasoner	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 IncompleteReasoner 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.

getIncompleteTheory

public static IncompleteTheory getIncompleteTheory(int nr_of_arguments,
 List<Integer> uncertainArguments,
 List<List<Integer>> definiteAttacks,
 List<List<Integer>> uncertainAttacks)

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

Parameters:

nr_of_arguments - The number of arguments in the IncompleteTheory.

uncertainArguments - The uncertain arguments represented as a list of integers

definiteAttacks - The definite attacks as a list of lists of integers

uncertainAttacks - The uncertain attacks as a list of lists of integers

Returns:

A IncompleteTheory constructed from the given arguments and attacks.