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()
Collection<AbaRule<T>>	getAllRules()
Collection<T>	getAssumptions()
T	getConclusion()
AbaRule<T>	getRule()
Collection<AbaRule<T>>	getRules()
int	hashCode()
void	setRule(AbaRule<T> 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()

Returns:

all rules appearing in this argument.

getAllConclusions

public 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 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 Collection<AbaRule<T>> getRules()

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