Package net.sf.tweety.arg.deductive.syntax

Class SimplePlLogicArgument

java.lang.Object

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

net.sf.tweety.arg.deductive.syntax.SimplePlLogicArgument

All Implemented Interfaces:

DungEntity, Formula, Node

public class SimplePlLogicArgument
extends Argument

Author:

Federico Cerutti (federico.cerutti@acm.org) Argument structure as defined in http://www0.cs.ucl.ac.uk/staff/a.hunter/papers/ac13t.pdf

Constructor Summary

Constructors

Constructor	Description
SimplePlLogicArgument(java.util.Collection<SimplePlRule> _support, PlFormula _claim)
SimplePlLogicArgument(Derivation<SimplePlRule> derivation)	Constructor

Method Summary

Modifier and Type	Method	Description
boolean	equals(java.lang.Object obj)
PlFormula	getClaim()
java.util.Collection<? extends SimplePlRule>	getSupport()
int	hashCode()
java.lang.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

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

SimplePlLogicArgument

public SimplePlLogicArgument(java.util.Collection<SimplePlRule> _support,
                             PlFormula _claim)

SimplePlLogicArgument

public SimplePlLogicArgument(Derivation<SimplePlRule> derivation)

Constructor

Parameters:

derivation - some derivation

Method Detail

getSupport

public java.util.Collection<? extends SimplePlRule> getSupport()

getClaim

public PlFormula getClaim()

toString

public java.lang.String toString()

Overrides:

toString in class Argument

hashCode

public int hashCode()

Overrides:

hashCode in class Argument

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class Argument