Package org.tweetyproject.arg.deductive.syntax

Class SimplePlLogicArgument

java.lang.Object

org.tweetyproject.arg.dung.syntax.Argument

org.tweetyproject.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(Collection<SimplePlRule> _support, PlFormula _claim)
SimplePlLogicArgument(Derivation<SimplePlRule> derivation)	Constructor

Method Summary

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

SimplePlLogicArgument

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

SimplePlLogicArgument

public SimplePlLogicArgument(Derivation<SimplePlRule> derivation)

Constructor

Parameters:

derivation - some derivation

Method Details

getSupport

public Collection<? extends SimplePlRule> getSupport()

getClaim

public PlFormula getClaim()

toString

public String toString()

Overrides:

toString in class Argument

hashCode

public int hashCode()

Overrides:

hashCode in class Argument

equals

public boolean equals(Object obj)

Overrides:

equals in class Argument