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
,DungEntity
,Formula
,Node
public class SetSupport extends DirectedEdge<BipolarEntity> implements Support
This class models a support between a set of arguments and an argument. It comprises of a set ofBArgument
and is used by bipolar abstract argumentation theories.- Author:
- Lars Bengel
-
-
Constructor Summary
Constructors Constructor Description SetSupport(java.util.Collection<BArgument> supporter, BArgument supported)
initializes the arguments used in this support relationSetSupport(ArgumentSet supporter, BArgument supported)
Default constructor; initializes the arguments used in this support relationSetSupport(BArgument supporter, BArgument supported)
initializes the arguments used in this support relation
-
Method Summary
Modifier and Type Method Description boolean
contains(java.lang.Object o)
boolean
contains(BArgument 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.BArgument
getSupported()
returns the supported argument of this support relation.ArgumentSet
getSupporter()
returns the supporting set of arguments of this support relation.int
hashCode()
java.lang.String
toString()
-
-
-
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 argumentssupported
- the supported argument
-
SetSupport
public SetSupport(java.util.Collection<BArgument> supporter, BArgument supported)
initializes the arguments used in this support relation- Parameters:
supporter
- a collection of argumentssupported
- some argument
-
-
Method Detail
-
getSupported
public BArgument getSupported()
returns the supported argument of this support relation.- Specified by:
getSupported
in interfaceSupport
- 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 interfaceSupport
- 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 java.lang.String toString()
- Specified by:
toString
in interfaceSupport
- Overrides:
toString
in classDirectedEdge<BipolarEntity>
-
equals
public boolean equals(java.lang.Object o)
- Overrides:
equals
in classEdge<BipolarEntity>
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classEdge<BipolarEntity>
-
contains
public boolean contains(java.lang.Object o)
- Specified by:
contains
in interfaceBipolarEntity
-
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 interfaceDungEntity
- Returns:
- the logical formula of this entity.
-
getSignature
public Signature getSignature()
Description copied from interface:Formula
Returns the signature of the language of this formula.- Specified by:
getSignature
in interfaceFormula
- Returns:
- the signature of the language of this formula.
-
-