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

Class SetSupport

java.lang.Object

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

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

net.sf.tweety.arg.bipolar.syntax.SetSupport

All Implemented Interfaces:

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

public class SetSupport
extends net.sf.tweety.graphs.DirectedEdge<BipolarEntity>
implements Support

This class models a support between a set of arguments and an argument. It comprises of a set of BArgument and is used by bipolar abstract argumentation theories.

Author:

Lars Bengel

Constructor Summary

Constructors

Constructor	Description
SetSupport(Collection<BArgument> supporter, BArgument supported)	initializes the arguments used in this support relation
SetSupport(ArgumentSet supporter, BArgument supported)	Default constructor; initializes the arguments used in this support relation
SetSupport(BArgument supporter, BArgument supported)	initializes the arguments used in this support relation

Method Summary

Modifier and Type	Method	Description
boolean	contains(Object o)
boolean	contains(BArgument argument)	Return true if the given argument is in this support relation.
boolean	equals(Object o)
net.sf.tweety.arg.dung.ldo.syntax.LdoFormula	getLdoFormula()
net.sf.tweety.commons.Signature	getSignature()
BArgument	getSupported()	returns the supported argument of this support relation.
ArgumentSet	getSupporter()	returns the supporting set of arguments of this support relation.
int	hashCode()
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

SetSupport

public SetSupport(ArgumentSet supporter,
                  BArgument supported)

Default constructor; initializes the arguments used in this support relation

Parameters:

supporter - the supporting set of arguments

supported - the supported argument

SetSupport

public SetSupport(Collection<BArgument> supporter,
                  BArgument supported)

initializes the arguments used in this support relation

Parameters:

supporter - a collection of arguments

supported - some argument

SetSupport

public SetSupport(BArgument supporter,
                  BArgument supported)

initializes the arguments used in this support relation

Parameters:

supporter - the supporting argument

supported - the supported argument

Method Detail

getSupported

public BArgument getSupported()

returns the supported argument of this support relation.

Specified by:

getSupported in interface Support

Returns:

the supported argument of this support relation.

getSupporter

public ArgumentSet getSupporter()

returns the supporting set of arguments of this support relation.

Specified by:

getSupporter in interface Support

Returns:

the supporting set of arguments of this support relation.

contains

public boolean contains(BArgument 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.

toString

public String toString()

Specified by:

toString in interface Support

Overrides:

toString in class net.sf.tweety.graphs.DirectedEdge<BipolarEntity>

equals

public boolean equals(Object o)

Overrides:

equals in class net.sf.tweety.graphs.Edge<BipolarEntity>

hashCode

public int hashCode()

Overrides:

hashCode in class net.sf.tweety.graphs.Edge<BipolarEntity>

contains

public boolean contains(Object o)

Specified by:

contains in interface BipolarEntity

getLdoFormula

public net.sf.tweety.arg.dung.ldo.syntax.LdoFormula getLdoFormula()

Specified by:

getLdoFormula in interface net.sf.tweety.arg.dung.syntax.DungEntity

getSignature

public net.sf.tweety.commons.Signature getSignature()

Specified by:

getSignature in interface net.sf.tweety.commons.Formula