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:

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

public class SimplePlLogicArgument
extends net.sf.tweety.arg.dung.syntax.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, net.sf.tweety.logics.pl.syntax.PlFormula _claim)
SimplePlLogicArgument(net.sf.tweety.commons.util.rules.Derivation<SimplePlRule> derivation)	Constructor

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)
net.sf.tweety.logics.pl.syntax.PlFormula	getClaim()
Collection<? extends SimplePlRule>	getSupport()
int	hashCode()
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

SimplePlLogicArgument

public SimplePlLogicArgument(Collection<SimplePlRule> _support,
                             net.sf.tweety.logics.pl.syntax.PlFormula _claim)

SimplePlLogicArgument

public SimplePlLogicArgument(net.sf.tweety.commons.util.rules.Derivation<SimplePlRule> derivation)

Constructor

Parameters:

derivation - some derivation

Method Detail

getSupport

public Collection<? extends SimplePlRule> getSupport()

getClaim

public net.sf.tweety.logics.pl.syntax.PlFormula getClaim()

toString

public String toString()

Overrides:

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

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