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:

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(java.lang.String name)	Constructs a new deduction.
Deduction(java.lang.String name, AbaRule<T> rule)	Constructs a new deduction.
Deduction(java.lang.String name, AbaRule<T> rule, java.util.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(java.lang.Object obj)
java.util.Collection<T>	getAllConclusions()
java.util.Collection<AbaRule<T>>	getAllRules()
java.util.Collection<T>	getAssumptions()
T	getConclusion()
AbaRule<T>	getRule()
java.util.Collection<AbaRule<T>>	getRules()
int	hashCode()
void	setRule(AbaRule<T> rule)
java.lang.String	toString()

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

getLdoArgument, getLdoFormula, getName, getSignature, setName

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Deduction

public Deduction(java.lang.String name)

Constructs a new deduction.

Parameters:

name - an identifier

Deduction

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

Constructs a new deduction.

Parameters:

name - an identifier

rule - the toprule

Deduction

public Deduction(java.lang.String name,
                 AbaRule<T> rule,
                 java.util.Collection<Deduction<T>> subs)

Constructs a new deduction.

Parameters:

name - an identifier

rule - the toprule

subs - a set of subdeductions

Method Detail

getAllRules

public java.util.Collection<AbaRule<T>> getAllRules()

Returns:

all rules appearing in this argument.

getAllConclusions

public java.util.Collection<T> getAllConclusions()

Returns:

all conclusions appearing in this argument.

getConclusion

public T getConclusion()

Returns:

the conclusion of this deduction

getRule

public AbaRule<T> getRule()

Returns:

the rule

setRule

public void setRule(AbaRule<T> rule)

Parameters:

rule - the rule to set

getAssumptions

public java.util.Collection<T> getAssumptions()

Returns:

all assumptions employed by this deduction

addSubDeduction

public void addSubDeduction(Deduction<T> sub)

Adds a subdeduction

Parameters:

sub - a deduction

getRules

public java.util.Collection<AbaRule<T>> getRules()

Returns:

all rules used in this deduction

hashCode

public int hashCode()

Overrides:

hashCode in class Argument

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class Argument

toString

public java.lang.String toString()

Overrides:

toString in class Argument