operations_research.sat.Lrat.LratImportedClauseOrBuilder Interface Reference

Detailed Description

Definition at line 29 of file Lrat.java.

Inheritance diagram for operations_research.sat.Lrat.LratImportedClauseOrBuilder:

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.LratImportedClauseOrBuilder.getClauseId

(

)

optional int64 clause_id = 1;

Returns

The clauseId.

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

getLiterals()

int operations_research.sat.Lrat.LratImportedClauseOrBuilder.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.LratImportedClause.Builder, and operations_research.sat.Lrat.LratImportedClause.

getLiteralsCount()

int operations_research.sat.Lrat.LratImportedClauseOrBuilder.getLiteralsCount

(

)

repeated int32 literals = 2 [packed = true];

Returns

The count of literals.

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

getLiteralsList()

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

(

)

repeated int32 literals = 2 [packed = true];

Returns

A list containing the literals.

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

hasClauseId()

boolean operations_research.sat.Lrat.LratImportedClauseOrBuilder.hasClauseId

(

)

optional int64 clause_id = 1;

Returns

Whether the clauseId field is set.

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

---

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

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