Class BinarySupport
- All Implemented Interfaces:
Iterable<BArgument>
,BipolarEntity
,Support
,DungEntity
,Formula
,Node
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
ConstructorDescriptionBinarySupport
(BArgument supporter, BArgument supported) Default constructor; initializes the two arguments used in this support relation -
Method Summary
Modifier and TypeMethodDescriptionboolean
boolean
double
Returns a logical representation of this entity in LDO (Logic of dialectical outcomes, cf.Returns the signature of the language of this formula.returns the supported argument of this support relation.returns the supporting argument of this support relation.int
hashCode()
iterator()
void
setConditionality
(double c) toString()
Methods inherited from interface java.lang.Iterable
forEach, spliterator
-
Constructor Details
-
BinarySupport
Default constructor; initializes the two arguments used in this support relation- Parameters:
supporter
- the supporting argumentsupported
- the supported argument
-
-
Method Details
-
getSupported
returns the supported argument of this support relation.- Specified by:
getSupported
in interfaceSupport
- Returns:
- the supported argument of this support relation.
-
getSupporter
returns the supporting argument of this support relation.- Specified by:
getSupporter
in interfaceSupport
- Returns:
- the supporting argument of this support relation.
-
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
- Specified by:
toString
in interfaceSupport
- Overrides:
toString
in classDirectedEdge<BArgument>
-
equals
-
hashCode
public int hashCode() -
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
- Specified by:
contains
in interfaceBipolarEntity
-
iterator
-
setConditionality
public void setConditionality(double c) - Specified by:
setConditionality
in interfaceSupport
-
getConditionalProbability
public double getConditionalProbability()- Specified by:
getConditionalProbability
in interfaceSupport
-