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 Argument structure as defined in http://www0.cs.ucl.ac.uk/staff/a.hunter/papers/ac13t.pdf

Constructor Summary

Constructors

Constructor and Description
SimplePlLogicArgument(Collection<SimplePlRule> _support, net.sf.tweety.logics.pl.syntax.PropositionalFormula _claim)
SimplePlLogicArgument(net.sf.tweety.commons.util.rules.Derivation<SimplePlRule> derivation) Constructor

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
net.sf.tweety.logics.pl.syntax.PropositionalFormula	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.PropositionalFormula _claim)

SimplePlLogicArgument

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

Constructor

Parameters:

node - of a DigraphNode of a DerivationGraph

See Also:

SimplePlLogicDeductiveKnowledgebase

Method Detail

getSupport

public Collection<? extends SimplePlRule> getSupport()

getClaim

public net.sf.tweety.logics.pl.syntax.PropositionalFormula 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