Package net.sf.tweety.arg.adf.syntax
Class Argument
- java.lang.Object
-
- net.sf.tweety.arg.adf.syntax.AcceptanceCondition
-
- net.sf.tweety.arg.adf.syntax.Argument
-
- All Implemented Interfaces:
net.sf.tweety.commons.Formula,net.sf.tweety.graphs.Node
public class Argument extends AcceptanceCondition implements net.sf.tweety.commons.Formula, net.sf.tweety.graphs.Node
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 class net.sf.tweety.arg.adf.syntax.AcceptanceCondition
AcceptanceCondition.Builder
-
-
Method Summary
-
Methods inherited from class net.sf.tweety.arg.adf.syntax.AcceptanceCondition
builder, builder, collect, collect, isContradiction, isTautology, toString, transform
-
-
-
-
Constructor Detail
-
Argument
public Argument(String name)
- Parameters:
name-
-
-
Method Detail
-
arguments
public Stream<Argument> arguments()
- Specified by:
argumentsin classAcceptanceCondition- Returns:
- a stream of all arguments of this acceptance condition and its subconditions.
-
getSignature
public net.sf.tweety.commons.Signature getSignature()
- Specified by:
getSignaturein interfacenet.sf.tweety.commons.Formula
-
getName
public String getName()
- Specified by:
getNamein classAcceptanceCondition- Returns:
- the name
-
transform
protected <C,R> R transform(Transform<C,R> transform, Consumer<C> consumer, int polarity)
- Specified by:
transformin classAcceptanceCondition
-
-