Package net.sf.tweety.arg.aba.syntax

Class Deduction<T extends net.sf.tweety.commons.Formula>

java.lang.Object

net.sf.tweety.arg.dung.syntax.Argument

net.sf.tweety.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:

net.sf.tweety.arg.dung.syntax.DungEntity, net.sf.tweety.commons.Formula, net.sf.tweety.graphs.Node

public class Deduction<T extends net.sf.tweety.commons.Formula>
extends net.sf.tweety.arg.dung.syntax.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 net.sf.tweety.arg.dung.syntax.Argument

getLdoArgument, getLdoFormula, getName, getSignature, setName

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

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 Detail

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 net.sf.tweety.arg.dung.syntax.Argument

equals

public boolean equals(Object obj)

Overrides:

equals in class net.sf.tweety.arg.dung.syntax.Argument

toString

public String toString()

Overrides:

toString in class net.sf.tweety.arg.dung.syntax.Argument