Package net.sf.tweety.arg.adf.syntax
Class Argument
- java.lang.Object
-
- net.sf.tweety.arg.adf.syntax.Argument
-
- All Implemented Interfaces:
AcceptanceCondition
public final class Argument extends java.lang.Object implements AcceptanceCondition
An immutable representation of an ADF argumentThis argument can also be used as an
AcceptanceCondition
, since it is its atomic building block.- Author:
- Mathias Hofer
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface net.sf.tweety.arg.adf.syntax.acc.AcceptanceCondition
AcceptanceCondition.Builder
-
-
Field Summary
-
Fields inherited from interface net.sf.tweety.arg.adf.syntax.acc.AcceptanceCondition
CONTRADICTION, TAUTOLOGY
-
-
Method Summary
Modifier and Type Method Description <U,D>
Uaccept(Visitor<U,D> visitor, D topDownData)
Passes the topDownData to the right visit method and returns the result of the visit method, performs no modifications on them.java.util.stream.Stream<Argument>
arguments()
boolean
contains(Argument arg)
java.util.Set<AcceptanceCondition>
getChildren()
java.lang.String
getName()
java.lang.String
toString()
-
-
-
Method Detail
-
arguments
public java.util.stream.Stream<Argument> arguments()
- Specified by:
arguments
in interfaceAcceptanceCondition
- Returns:
- recursively computes all the arguments of this acceptance condition
-
getName
public java.lang.String getName()
- Returns:
- the name
-
contains
public boolean contains(Argument arg)
- Specified by:
contains
in interfaceAcceptanceCondition
-
getChildren
public java.util.Set<AcceptanceCondition> getChildren()
- Specified by:
getChildren
in interfaceAcceptanceCondition
- Returns:
- an unmodifiable set of children
-
accept
public <U,D> U accept(Visitor<U,D> visitor, D topDownData)
Description copied from interface:AcceptanceCondition
Passes the topDownData to the right visit method and returns the result of the visit method, performs no modifications on them.This allows for type-safe traversal through the acceptance condition structure.
- Specified by:
accept
in interfaceAcceptanceCondition
- Type Parameters:
U
- the bottom-up dataD
- the top-down data- Parameters:
visitor
- the visitortopDownData
- the data which is passed from the root of the acceptance condition to the leaf- Returns:
- the result of the visit method
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-