Enum Lrat.LratProofStep.StepCase

java.lang.Object

java.lang.Enum<Lrat.LratProofStep.StepCase>

operations_research.sat.Lrat.LratProofStep.StepCase

All Implemented Interfaces:

com.google.protobuf.Internal.EnumLite, Serializable, Comparable<Lrat.LratProofStep.StepCase>, java.lang.constant.Constable

Enclosing class:

Lrat.LratProofStep

public static enum Lrat.LratProofStep.StepCase
extends Enum<Lrat.LratProofStep.StepCase>
implements com.google.protobuf.Internal.EnumLite

Nested Class Summary

Nested classes/interfaces inherited from class Enum

Enum.EnumDesc<E>

Enum Constant Summary

Enum Constants

Enum Constant	Description
DELETED_CLAUSES
EXPORTED_CLAUSE
IMPORTED_CLAUSE
INFERRED_CLAUSE
STEP_NOT_SET

Method Summary

Modifier and Type	Method	Description
static Lrat.LratProofStep.StepCase	forNumber(int value)
int	getNumber()
static Lrat.LratProofStep.StepCase	valueOf(int value)	Deprecated.
static Lrat.LratProofStep.StepCase	valueOf(String name)	Returns the enum constant of this type with the specified name.
static Lrat.LratProofStep.StepCase[]	values()	Returns an array containing the constants of this enum type, in the order they are declared.

Methods inherited from class Enum

clone, compareTo, describeConstable, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

Methods inherited from class Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Details

IMPORTED_CLAUSE

public static final Lrat.LratProofStep.StepCase IMPORTED_CLAUSE

INFERRED_CLAUSE

public static final Lrat.LratProofStep.StepCase INFERRED_CLAUSE

EXPORTED_CLAUSE

public static final Lrat.LratProofStep.StepCase EXPORTED_CLAUSE

DELETED_CLAUSES

public static final Lrat.LratProofStep.StepCase DELETED_CLAUSES

STEP_NOT_SET

public static final Lrat.LratProofStep.StepCase STEP_NOT_SET

Method Details

values

public static Lrat.LratProofStep.StepCase[] 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 Lrat.LratProofStep.StepCase valueOf(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:

IllegalArgumentException - if this enum type has no constant with the specified name

NullPointerException - if the argument is null

valueOf

@Deprecated
public static Lrat.LratProofStep.StepCase valueOf(int value)

Deprecated.

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:

value - the name of the enum constant to be returned.

Returns:

the enum constant with the specified name

Throws:

IllegalArgumentException - if this enum type has no constant with the specified name

NullPointerException - if the argument is null

forNumber

public static Lrat.LratProofStep.StepCase forNumber(int value)

getNumber

public int getNumber()

Specified by:

getNumber in interface com.google.protobuf.Internal.EnumLite