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:

Comparable<Argument>, DungEntity, Formula, Node

public class SimplePlLogicArgument
extends Argument

Author:

Federico Cerutti (federico.cerutti(at)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)	constructor
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()	prints String representation

Methods inherited from class org.tweetyproject.arg.dung.syntax.Argument

compareTo, 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)

constructor

SimplePlLogicArgument

public SimplePlLogicArgument(Derivation<SimplePlRule> derivation)

Constructor

Parameters:

derivation - some derivation

Method Details

getSupport

public Collection<? extends SimplePlRule> getSupport()

Returns:

support

getClaim

public PlFormula getClaim()

Returns:

claim

toString

public String toString()

prints String representation

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