Detailed Description

Definition at line 4296 of file Lrat.java.

Inheritance diagram for operations_research.sat.Lrat.LratProofStep.StepCase:

Public Member Functions
int	getNumber ()

Static Public Member Functions
static StepCase	valueOf (int value)
static StepCase	forNumber (int value)

Public Attributes
	IMPORTED_CLAUSE =(1)
	INFERRED_CLAUSE =(2)
	EXPORTED_CLAUSE =(3)
	DELETED_CLAUSES =(4)
	STEP_NOT_SET =(0)

Member Function Documentation

◆ forNumber()

StepCase operations_research.sat.Lrat.LratProofStep.StepCase.forNumber ( int value )

static

Definition at line 4318 of file Lrat.java.

◆ getNumber()

int operations_research.sat.Lrat.LratProofStep.StepCase.getNumber ( )

Definition at line 4328 of file Lrat.java.

◆ valueOf()

StepCase operations_research.sat.Lrat.LratProofStep.StepCase.valueOf ( int value )

static

Parameters

value The number of the enum to look for.

Returns: The enum associated with the given number.

Deprecated: Use forNumber(int) instead.

Definition at line 4314 of file Lrat.java.

Member Data Documentation

◆ DELETED_CLAUSES

operations_research.sat.Lrat.LratProofStep.StepCase.DELETED_CLAUSES =(4)

Definition at line 4302 of file Lrat.java.

◆ EXPORTED_CLAUSE

operations_research.sat.Lrat.LratProofStep.StepCase.EXPORTED_CLAUSE =(3)

Definition at line 4301 of file Lrat.java.

◆ IMPORTED_CLAUSE

operations_research.sat.Lrat.LratProofStep.StepCase.IMPORTED_CLAUSE =(1)

Definition at line 4299 of file Lrat.java.

◆ INFERRED_CLAUSE

operations_research.sat.Lrat.LratProofStep.StepCase.INFERRED_CLAUSE =(2)

Definition at line 4300 of file Lrat.java.

◆ STEP_NOT_SET

operations_research.sat.Lrat.LratProofStep.StepCase.STEP_NOT_SET =(0)

Definition at line 4303 of file Lrat.java.

The documentation for this enum was generated from the following file:

build/java/ortools-java/src/main/java/operations_research/sat/Lrat.java