operations_research.sat.Lrat.LratDeletedClausesOrBuilder Interface Reference

Detailed Description

Definition at line 3554 of file Lrat.java.

Inheritance diagram for operations_research.sat.Lrat.LratDeletedClausesOrBuilder:

Public Member Functions
java.util.List< java.lang.Long >	getClauseIdsList ()
int	getClauseIdsCount ()
long	getClauseIds (int index)

Member Function Documentation

getClauseIds()

long operations_research.sat.Lrat.LratDeletedClausesOrBuilder.getClauseIds

(

int

index

)

IDs of the imported or inferred clauses to delete. A deleted clause can no
longer be used to infer clauses.

repeated int64 clause_ids = 1 [packed = true];

Parameters

index

The index of the element to return.

Returns

The clauseIds at the given index.

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

getClauseIdsCount()

int operations_research.sat.Lrat.LratDeletedClausesOrBuilder.getClauseIdsCount

(

)

IDs of the imported or inferred clauses to delete. A deleted clause can no
longer be used to infer clauses.

repeated int64 clause_ids = 1 [packed = true];

Returns

The count of clauseIds.

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

getClauseIdsList()

java.util.List< java.lang.Long > operations_research.sat.Lrat.LratDeletedClausesOrBuilder.getClauseIdsList

(

)

IDs of the imported or inferred clauses to delete. A deleted clause can no
longer be used to infer clauses.

repeated int64 clause_ids = 1 [packed = true];

Returns

A list containing the clauseIds.

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

---

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

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