Package tools.refinery.logic.literal
Enum Class Reduction
- All Implemented Interfaces:
Serializable
,Comparable<Reduction>
,Constable
Represents the possible reductions of a clause. A clause may be reduced to a smaller clause by omitting literals that
are always true or by omitting the clause entirely if it is always false. Sometimes it is not possible to reduce
the clause.
-
Nested Class Summary
Nested classes/interfaces inherited from class java.lang.Enum
Enum.EnumDesc<E extends Enum<E>>
-
Enum Constant Summary
Enum ConstantDescriptionSignifies that the clause with the literal may be omitted entirely.Signifies that the literal may be omitted from the cause (if the model being queried is nonempty).Signifies that a literal should be preserved in the clause. -
Method Summary
-
Enum Constant Details
-
NOT_REDUCIBLE
Signifies that a literal should be preserved in the clause. -
ALWAYS_TRUE
Signifies that the literal may be omitted from the cause (if the model being queried is nonempty). -
ALWAYS_FALSE
Signifies that the clause with the literal may be omitted entirely.
-
-
Method Details
-
values
Returns an array containing the constants of this enum class, in the order they are declared.- Returns:
- an array containing the constants of this enum class, in the order they are declared
-
valueOf
Returns the enum constant of this class with the specified name. The string must match exactly an identifier used to declare an enum constant in this class. (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:
IllegalArgumentException
- if this enum class has no constant with the specified nameNullPointerException
- if the argument is null
-
negate
-