Package org.tweetyproject.arg.aba.syntax

Class Deduction<T extends Formula>

java.lang.Object

org.tweetyproject.arg.dung.syntax.Argument

org.tweetyproject.arg.aba.syntax.Deduction<T>

Type Parameters:

T - is the type of the language that the ABA theory's rules range over

All Implemented Interfaces:

Comparable<Argument>, DungEntity, Formula, Node

public class Deduction<T extends Formula>
extends Argument

An argument derived from an ABA theory.

Author:

Nils Geilen

Constructor Summary

Constructors

Constructor	Description
Deduction(String name)	Constructs a new deduction.
Deduction(String name, AbaRule<T> rule)	Constructs a new deduction.
Deduction(String name, AbaRule<T> rule, Collection<Deduction<T>> subs)	Constructs a new deduction.

Method Summary

Modifier and Type	Method	Description
void	addSubDeduction(Deduction<T> sub)	Adds a subdeduction
boolean	equals(Object obj)
Collection<T>	getAllConclusions()	Return all conclusions appearing in this argument.
Collection<AbaRule<T>>	getAllRules()	Return all rules appearing in this argument.
Collection<T>	getAssumptions()	Return all assumptions employed by this deduction
T	getConclusion()	Return the conclusion of this deduction
AbaRule<T>	getRule()	Return the rule
Collection<AbaRule<T>>	getRules()	Return all rules used in this deduction
int	hashCode()
void	setRule(AbaRule<T> rule)	Set Rule
String	toString()

Methods inherited from class org.tweetyproject.arg.dung.syntax.Argument

compareTo, getLdoArgument, getLdoFormula, getName, getSignature, setName

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Details

Deduction

public Deduction(String name)

Constructs a new deduction.

Parameters:

name - an identifier

Deduction

public Deduction(String name,
 AbaRule<T> rule)

Constructs a new deduction.

Parameters:

name - an identifier

rule - the toprule

Deduction

public Deduction(String name,
 AbaRule<T> rule,
 Collection<Deduction<T>> subs)

Constructs a new deduction.

Parameters:

name - an identifier

rule - the toprule

subs - a set of subdeductions

Method Details

getAllRules

public Collection<AbaRule<T>> getAllRules()

Return all rules appearing in this argument.

Returns:

all rules appearing in this argument.

getAllConclusions

public Collection<T> getAllConclusions()

Return all conclusions appearing in this argument.

Returns:

all conclusions appearing in this argument.

getConclusion

public T getConclusion()

Return the conclusion of this deduction

Returns:

the conclusion of this deduction

getRule

public AbaRule<T> getRule()

Return the rule

Returns:

the rule

setRule

public void setRule(AbaRule<T> rule)

Set Rule

Parameters:

rule - the rule to set

getAssumptions

public Collection<T> getAssumptions()

Return all assumptions employed by this deduction

Returns:

all assumptions employed by this deduction

addSubDeduction

public void addSubDeduction(Deduction<T> sub)

Adds a subdeduction

Parameters:

sub - a deduction

getRules

public Collection<AbaRule<T>> getRules()

Return all rules used in this deduction

Returns:

all rules used in this deduction

hashCode

public int hashCode()

Overrides:

hashCode in class Argument

equals

public boolean equals(Object obj)

Overrides:

equals in class Argument

toString

public String toString()

Overrides:

toString in class Argument