operations_research.sat.Lrat.LratProofStepOrBuilder Interface Reference

Detailed Description

Definition at line 4181 of file Lrat.java.

Inheritance diagram for operations_research.sat.Lrat.LratProofStepOrBuilder:

Public Member Functions
boolean	hasImportedClause ()
operations_research.sat.Lrat.LratImportedClause	getImportedClause ()
operations_research.sat.Lrat.LratImportedClauseOrBuilder	getImportedClauseOrBuilder ()
boolean	hasInferredClause ()
operations_research.sat.Lrat.LratInferredClause	getInferredClause ()
operations_research.sat.Lrat.LratInferredClauseOrBuilder	getInferredClauseOrBuilder ()
boolean	hasExportedClause ()
operations_research.sat.Lrat.LratExportedClause	getExportedClause ()
operations_research.sat.Lrat.LratExportedClauseOrBuilder	getExportedClauseOrBuilder ()
boolean	hasDeletedClauses ()
operations_research.sat.Lrat.LratDeletedClauses	getDeletedClauses ()
operations_research.sat.Lrat.LratDeletedClausesOrBuilder	getDeletedClausesOrBuilder ()
operations_research.sat.Lrat.LratProofStep.StepCase	getStepCase ()

Member Function Documentation

getDeletedClauses()

operations_research.sat.Lrat.LratDeletedClauses operations_research.sat.Lrat.LratProofStepOrBuilder.getDeletedClauses

(

)

.operations_research.sat.LratDeletedClauses deleted_clauses = 4;

Returns

The deletedClauses.

Implemented in operations_research.sat.Lrat.LratProofStep.Builder, and operations_research.sat.Lrat.LratProofStep.

getDeletedClausesOrBuilder()

operations_research.sat.Lrat.LratDeletedClausesOrBuilder operations_research.sat.Lrat.LratProofStepOrBuilder.getDeletedClausesOrBuilder

(

)

.operations_research.sat.LratDeletedClauses deleted_clauses = 4;

Implemented in operations_research.sat.Lrat.LratProofStep.Builder, and operations_research.sat.Lrat.LratProofStep.

getExportedClause()

operations_research.sat.Lrat.LratExportedClause operations_research.sat.Lrat.LratProofStepOrBuilder.getExportedClause

(

)

.operations_research.sat.LratExportedClause exported_clause = 3;

Returns

The exportedClause.

Implemented in operations_research.sat.Lrat.LratProofStep.Builder, and operations_research.sat.Lrat.LratProofStep.

getExportedClauseOrBuilder()

operations_research.sat.Lrat.LratExportedClauseOrBuilder operations_research.sat.Lrat.LratProofStepOrBuilder.getExportedClauseOrBuilder

(

)

.operations_research.sat.LratExportedClause exported_clause = 3;

Implemented in operations_research.sat.Lrat.LratProofStep.Builder, and operations_research.sat.Lrat.LratProofStep.

getImportedClause()

operations_research.sat.Lrat.LratImportedClause operations_research.sat.Lrat.LratProofStepOrBuilder.getImportedClause

(

)

.operations_research.sat.LratImportedClause imported_clause = 1;

Returns

The importedClause.

Implemented in operations_research.sat.Lrat.LratProofStep.Builder, and operations_research.sat.Lrat.LratProofStep.

getImportedClauseOrBuilder()

operations_research.sat.Lrat.LratImportedClauseOrBuilder operations_research.sat.Lrat.LratProofStepOrBuilder.getImportedClauseOrBuilder

(

)

.operations_research.sat.LratImportedClause imported_clause = 1;

Implemented in operations_research.sat.Lrat.LratProofStep.Builder, and operations_research.sat.Lrat.LratProofStep.

getInferredClause()

operations_research.sat.Lrat.LratInferredClause operations_research.sat.Lrat.LratProofStepOrBuilder.getInferredClause

(

)

.operations_research.sat.LratInferredClause inferred_clause = 2;

Returns

The inferredClause.

Implemented in operations_research.sat.Lrat.LratProofStep.Builder, and operations_research.sat.Lrat.LratProofStep.

getInferredClauseOrBuilder()

operations_research.sat.Lrat.LratInferredClauseOrBuilder operations_research.sat.Lrat.LratProofStepOrBuilder.getInferredClauseOrBuilder

(

)

.operations_research.sat.LratInferredClause inferred_clause = 2;

Implemented in operations_research.sat.Lrat.LratProofStep.Builder, and operations_research.sat.Lrat.LratProofStep.

getStepCase()

operations_research.sat.Lrat.LratProofStep.StepCase operations_research.sat.Lrat.LratProofStepOrBuilder.getStepCase

(

)

Implemented in operations_research.sat.Lrat.LratProofStep.Builder, and operations_research.sat.Lrat.LratProofStep.

hasDeletedClauses()

boolean operations_research.sat.Lrat.LratProofStepOrBuilder.hasDeletedClauses

(

)

.operations_research.sat.LratDeletedClauses deleted_clauses = 4;

Returns

Whether the deletedClauses field is set.

Implemented in operations_research.sat.Lrat.LratProofStep.Builder, and operations_research.sat.Lrat.LratProofStep.

hasExportedClause()

boolean operations_research.sat.Lrat.LratProofStepOrBuilder.hasExportedClause

(

)

.operations_research.sat.LratExportedClause exported_clause = 3;

Returns

Whether the exportedClause field is set.

Implemented in operations_research.sat.Lrat.LratProofStep.Builder, and operations_research.sat.Lrat.LratProofStep.

hasImportedClause()

boolean operations_research.sat.Lrat.LratProofStepOrBuilder.hasImportedClause

(

)

.operations_research.sat.LratImportedClause imported_clause = 1;

Returns

Whether the importedClause field is set.

Implemented in operations_research.sat.Lrat.LratProofStep.Builder, and operations_research.sat.Lrat.LratProofStep.

hasInferredClause()

boolean operations_research.sat.Lrat.LratProofStepOrBuilder.hasInferredClause

(

)

.operations_research.sat.LratInferredClause inferred_clause = 2;

Returns

Whether the inferredClause field is set.

Implemented in operations_research.sat.Lrat.LratProofStep.Builder, and operations_research.sat.Lrat.LratProofStep.

---

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

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