Package net.sf.tweety.arg.bipolar.syntax

Class Support

java.lang.Object

net.sf.tweety.graphs.Edge<T>

net.sf.tweety.graphs.DirectedEdge<Argument>

net.sf.tweety.arg.bipolar.syntax.Support

All Implemented Interfaces:

DungEntity, Formula

public class Support
extends DirectedEdge<Argument>
implements DungEntity

This class models a support between two arguments. It comprises of two attributes of Argument and is used by bipolar abstract argumentation theories.

Author:

Lars Bengel

Constructor Summary

Constructors

Constructor	Description
Support(Argument supporter, Argument supported)	Default constructor; initializes the two arguments used in this support relation

Method Summary

Modifier and Type	Method	Description
boolean	contains(Argument argument)	Return true if the given argument is in this support relation.
boolean	equals(java.lang.Object o)
LdoFormula	getLdoFormula()	Returns a logical representation of this entity in LDO (Logic of dialectical outcomes, cf.
Signature	getSignature()	Returns the signature of the language of this formula.
Argument	getSupported()	returns the supported argument of this support relation.
Argument	getSupporter()	returns the supporting argument of this support relation.
int	hashCode()
java.lang.String	toString()

Methods inherited from class net.sf.tweety.graphs.Edge

getNodeA, getNodeB

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Support

public Support(Argument supporter,
               Argument supported)

Default constructor; initializes the two arguments used in this support relation

Parameters:

supporter - the supporting argument

supported - the supported argument

Method Detail

getSupported

public Argument getSupported()

returns the supported argument of this support relation.

Returns:

the supported argument of this support relation.

getSupporter

public Argument getSupporter()

returns the supporting argument of this support relation.

Returns:

the supporting argument of this support relation.

contains

public boolean contains(Argument argument)

Return true if the given argument is in this support relation.

Parameters:

argument - some argument

Returns:

true if the given argument is in this support relation.

getSignature

public Signature getSignature()

Description copied from interface: Formula

Returns the signature of the language of this formula.

Specified by:

getSignature in interface Formula

Returns:

the signature of the language of this formula.

toString

public java.lang.String toString()

Overrides:

toString in class DirectedEdge<Argument>

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class Edge<Argument>

hashCode

public int hashCode()

Overrides:

hashCode in class Edge<Argument>

getLdoFormula

public LdoFormula getLdoFormula()

Description copied from interface: DungEntity

Returns a logical representation of this entity in LDO (Logic of dialectical outcomes, cf. [Hunter, Thimm, 2015])

Specified by:

getLdoFormula in interface DungEntity

Returns:

the logical formula of this entity.