operations_research.sat.Lrat.LratExportedClauseOrBuilder Interface Reference

Detailed Description

Definition at line 2887 of file Lrat.java.

Inheritance diagram for operations_research.sat.Lrat.LratExportedClauseOrBuilder:

Public Member Functions
boolean	hasClauseId ()
long	getClauseId ()
java.util.List< java.lang.Integer >	getLiteralsList ()
int	getLiteralsCount ()
int	getLiterals (int index)

Member Function Documentation

getClauseId()

long operations_research.sat.Lrat.LratExportedClauseOrBuilder.getClauseId

(

)

optional int64 clause_id = 1;

Returns

The clauseId.

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

getLiterals()

int operations_research.sat.Lrat.LratExportedClauseOrBuilder.getLiterals

(

int

index

)

repeated int32 literals = 2 [packed = true];

Parameters

index

The index of the element to return.

Returns

The literals at the given index.

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

getLiteralsCount()

int operations_research.sat.Lrat.LratExportedClauseOrBuilder.getLiteralsCount

(

)

repeated int32 literals = 2 [packed = true];

Returns

The count of literals.

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

getLiteralsList()

java.util.List< java.lang.Integer > operations_research.sat.Lrat.LratExportedClauseOrBuilder.getLiteralsList

(

)

repeated int32 literals = 2 [packed = true];

Returns

A list containing the literals.

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

hasClauseId()

boolean operations_research.sat.Lrat.LratExportedClauseOrBuilder.hasClauseId

(

)

optional int64 clause_id = 1;

Returns

Whether the clauseId field is set.

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

---

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

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