operations_research.sat.Lrat.LratInferredClause.RatInfoOrBuilder Interface Reference

Detailed Description

Definition at line 864 of file Lrat.java.

Inheritance diagram for operations_research.sat.Lrat.LratInferredClause.RatInfoOrBuilder:

Public Member Functions
boolean	hasResolvantId ()
long	getResolvantId ()
java.util.List< java.lang.Long >	getUnitIdsList ()
int	getUnitIdsCount ()
long	getUnitIds (int index)

Member Function Documentation

getResolvantId()

long operations_research.sat.Lrat.LratInferredClause.RatInfoOrBuilder.getResolvantId

(

)

optional int64 resolvant_id = 1;

Returns

The resolvantId.

Implemented in operations_research.sat.Lrat.LratInferredClause.RatInfo.Builder, and operations_research.sat.Lrat.LratInferredClause.RatInfo.

getUnitIds()

long operations_research.sat.Lrat.LratInferredClause.RatInfoOrBuilder.getUnitIds

(

int

index

)

repeated int64 unit_ids = 2 [packed = true];

Parameters

index

The index of the element to return.

Returns

The unitIds at the given index.

Implemented in operations_research.sat.Lrat.LratInferredClause.RatInfo.Builder, and operations_research.sat.Lrat.LratInferredClause.RatInfo.

getUnitIdsCount()

int operations_research.sat.Lrat.LratInferredClause.RatInfoOrBuilder.getUnitIdsCount

(

)

repeated int64 unit_ids = 2 [packed = true];

Returns

The count of unitIds.

Implemented in operations_research.sat.Lrat.LratInferredClause.RatInfo.Builder, and operations_research.sat.Lrat.LratInferredClause.RatInfo.

getUnitIdsList()

java.util.List< java.lang.Long > operations_research.sat.Lrat.LratInferredClause.RatInfoOrBuilder.getUnitIdsList

(

)

repeated int64 unit_ids = 2 [packed = true];

Returns

A list containing the unitIds.

Implemented in operations_research.sat.Lrat.LratInferredClause.RatInfo.Builder, and operations_research.sat.Lrat.LratInferredClause.RatInfo.

hasResolvantId()

boolean operations_research.sat.Lrat.LratInferredClause.RatInfoOrBuilder.hasResolvantId

(

)

optional int64 resolvant_id = 1;

Returns

Whether the resolvantId field is set.

Implemented in operations_research.sat.Lrat.LratInferredClause.RatInfo.Builder, and operations_research.sat.Lrat.LratInferredClause.RatInfo.

---

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

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