Package net.sf.tweety.arg.bipolar.syntax
Class BinarySupport
- java.lang.Object
-
- net.sf.tweety.graphs.Edge<T>
-
- net.sf.tweety.graphs.DirectedEdge<BArgument>
-
- net.sf.tweety.arg.bipolar.syntax.BinarySupport
-
- All Implemented Interfaces:
BipolarEntity
,Support
,DungEntity
,Formula
,Node
public class BinarySupport extends DirectedEdge<BArgument> implements Support
This class models a support between two arguments. It comprises of two attributes ofArgument
and is used by bipolar abstract argumentation theories.- Author:
- Lars Bengel
-
-
Constructor Summary
Constructors Constructor Description BinarySupport(BArgument supporter, BArgument supported)
Default constructor; initializes the two arguments used in this support relation
-
Method Summary
Modifier and Type Method Description boolean
contains(java.lang.Object o)
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.BArgument
getSupporter()
returns the supporting argument of this support relation.int
hashCode()
java.lang.String
toString()
-
-
-
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 BArgument getSupporter()
returns the supporting argument of this support relation.- Specified by:
getSupporter
in interfaceSupport
- Returns:
- the supporting argument of 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 interfaceFormula
- Returns:
- the signature of the language of this formula.
-
toString
public java.lang.String toString()
- Specified by:
toString
in interfaceSupport
- Overrides:
toString
in classDirectedEdge<BArgument>
-
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.
-
contains
public boolean contains(java.lang.Object o)
- Specified by:
contains
in interfaceBipolarEntity
-
-