Enum ConditionalStructure.Generator
- java.lang.Object
-
- java.lang.Enum<ConditionalStructure.Generator>
-
- net.sf.tweety.logics.cl.semantics.ConditionalStructure.Generator
-
- All Implemented Interfaces:
java.io.Serializable
,java.lang.Comparable<ConditionalStructure.Generator>
,java.lang.constant.Constable
- Enclosing class:
- ConditionalStructure
public static enum ConditionalStructure.Generator extends java.lang.Enum<ConditionalStructure.Generator>
The possible values of a conditional for a possible world- Author:
- Tim Janus
-
-
Method Summary
Modifier and Type Method Description static ConditionalStructure.Generator
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.static ConditionalStructure.Generator[]
values()
Returns an array containing the constants of this enum type, in the order they are declared.
-
-
-
Enum Constant Detail
-
CG_PLUS
public static final ConditionalStructure.Generator CG_PLUS
The possible world verifies the conditional
-
CG_MINUS
public static final ConditionalStructure.Generator CG_MINUS
The possible world falsifies the conditional
-
CG_ONE
public static final ConditionalStructure.Generator CG_ONE
The possible world neither verifies nor falsifies the conditional because the premise is false
-
-
Method Detail
-
values
public static ConditionalStructure.Generator[] 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 ConditionalStructure.Generator 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
-
-