Package net.sf.tweety.arg.adf.syntax.acc
Enum TautologyAcceptanceCondition
- java.lang.Object
-
- java.lang.Enum<TautologyAcceptanceCondition>
-
- net.sf.tweety.arg.adf.syntax.acc.TautologyAcceptanceCondition
-
- All Implemented Interfaces:
java.io.Serializable
,java.lang.Comparable<TautologyAcceptanceCondition>
,java.lang.constant.Constable
,AcceptanceCondition
public enum TautologyAcceptanceCondition extends java.lang.Enum<TautologyAcceptanceCondition> implements AcceptanceCondition
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class java.lang.Enum
java.lang.Enum.EnumDesc<E extends java.lang.Enum<E>>
-
Nested classes/interfaces inherited from interface net.sf.tweety.arg.adf.syntax.acc.AcceptanceCondition
AcceptanceCondition.Builder
-
-
Enum Constant Summary
Enum Constants Enum Constant Description INSTANCE
-
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.boolean
contains(Argument arg)
java.util.Set<AcceptanceCondition>
getChildren()
java.lang.String
toString()
static TautologyAcceptanceCondition
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.static TautologyAcceptanceCondition[]
values()
Returns an array containing the constants of this enum type, in the order they are declared.-
Methods inherited from class java.lang.Enum
compareTo, describeConstable, equals, getDeclaringClass, hashCode, name, ordinal, valueOf
-
Methods inherited from interface net.sf.tweety.arg.adf.syntax.acc.AcceptanceCondition
arguments
-
-
-
-
Enum Constant Detail
-
INSTANCE
public static final TautologyAcceptanceCondition INSTANCE
-
-
Method Detail
-
values
public static TautologyAcceptanceCondition[] values()
Returns an array containing the constants of this enum type, in the order they are declared.- Returns:
- an array containing the constants of this enum type, in the order they are declared
-
valueOf
public static TautologyAcceptanceCondition valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)- Parameters:
name
- the name of the enum constant to be returned.- Returns:
- the enum constant with the specified name
- Throws:
java.lang.IllegalArgumentException
- if this enum type has no constant with the specified namejava.lang.NullPointerException
- if the argument is null
-
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.Enum<TautologyAcceptanceCondition>
-
-