operations_research.sat.Lrat.LratInferredClauseOrBuilder Interface Reference

Detailed Description

Definition at line 694 of file Lrat.java.

Inheritance diagram for operations_research.sat.Lrat.LratInferredClauseOrBuilder:

Public Member Functions
boolean	hasClauseId ()
long	getClauseId ()
java.util.List< java.lang.Integer >	getLiteralsList ()
int	getLiteralsCount ()
int	getLiterals (int index)
java.util.List< java.lang.Long >	getUnitIdsList ()
int	getUnitIdsCount ()
long	getUnitIds (int index)
java.util.List< operations_research.sat.Lrat.LratInferredClause.RatInfo >	getRatInfosList ()
operations_research.sat.Lrat.LratInferredClause.RatInfo	getRatInfos (int index)
int	getRatInfosCount ()
java.util.List<? extends operations_research.sat.Lrat.LratInferredClause.RatInfoOrBuilder >	getRatInfosOrBuilderList ()
operations_research.sat.Lrat.LratInferredClause.RatInfoOrBuilder	getRatInfosOrBuilder (int index)
boolean	hasExported ()
boolean	getExported ()

Member Function Documentation

getClauseId()

long operations_research.sat.Lrat.LratInferredClauseOrBuilder.getClauseId

(

)

optional int64 clause_id = 1;

Returns

The clauseId.

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

getExported()

boolean operations_research.sat.Lrat.LratInferredClauseOrBuilder.getExported

(

)

Whether the clause must be exported, so that other workers can import it (a
clause cannot be imported if it is not previously exported). This is not
needed for unary and binary clauses, which are always exported.

optional bool exported = 5;

Returns

The exported.

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

getLiterals()

int operations_research.sat.Lrat.LratInferredClauseOrBuilder.getLiterals

(

int

index

)

Literals are represented with LiteralIndex values.

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.LratInferredClause.Builder, and operations_research.sat.Lrat.LratInferredClause.

getLiteralsCount()

int operations_research.sat.Lrat.LratInferredClauseOrBuilder.getLiteralsCount

(

)

Literals are represented with LiteralIndex values.

repeated int32 literals = 2 [packed = true];

Returns

The count of literals.

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

getLiteralsList()

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

(

)

Literals are represented with LiteralIndex values.

repeated int32 literals = 2 [packed = true];

Returns

A list containing the literals.

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

getRatInfos()

operations_research.sat.Lrat.LratInferredClause.RatInfo operations_research.sat.Lrat.LratInferredClauseOrBuilder.getRatInfos

(

int

index

)

repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;

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

getRatInfosCount()

int operations_research.sat.Lrat.LratInferredClauseOrBuilder.getRatInfosCount

(

)

repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;

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

getRatInfosList()

java.util.List< operations_research.sat.Lrat.LratInferredClause.RatInfo > operations_research.sat.Lrat.LratInferredClauseOrBuilder.getRatInfosList

(

)

repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;

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

getRatInfosOrBuilder()

operations_research.sat.Lrat.LratInferredClause.RatInfoOrBuilder operations_research.sat.Lrat.LratInferredClauseOrBuilder.getRatInfosOrBuilder

(

int

index

)

repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;

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

getRatInfosOrBuilderList()

java.util.List<? extends operations_research.sat.Lrat.LratInferredClause.RatInfoOrBuilder > operations_research.sat.Lrat.LratInferredClauseOrBuilder.getRatInfosOrBuilderList

(

)

repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;

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

getUnitIds()

long operations_research.sat.Lrat.LratInferredClauseOrBuilder.getUnitIds

(

int

index

)

Clauses which become unit and possibly empty if all the `literals` are
assumed to be false (verification stops at the first empty clause). This
list must be in unit propagation order. See LratChecker for more details.

repeated int64 unit_ids = 3 [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.Builder, and operations_research.sat.Lrat.LratInferredClause.

getUnitIdsCount()

int operations_research.sat.Lrat.LratInferredClauseOrBuilder.getUnitIdsCount

(

)

Clauses which become unit and possibly empty if all the `literals` are
assumed to be false (verification stops at the first empty clause). This
list must be in unit propagation order. See LratChecker for more details.

repeated int64 unit_ids = 3 [packed = true];

Returns

The count of unitIds.

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

getUnitIdsList()

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

(

)

Clauses which become unit and possibly empty if all the `literals` are
assumed to be false (verification stops at the first empty clause). This
list must be in unit propagation order. See LratChecker for more details.

repeated int64 unit_ids = 3 [packed = true];

Returns

A list containing the unitIds.

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

hasClauseId()

boolean operations_research.sat.Lrat.LratInferredClauseOrBuilder.hasClauseId

(

)

optional int64 clause_id = 1;

Returns

Whether the clauseId field is set.

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

hasExported()

boolean operations_research.sat.Lrat.LratInferredClauseOrBuilder.hasExported

(

)

Whether the clause must be exported, so that other workers can import it (a
clause cannot be imported if it is not previously exported). This is not
needed for unary and binary clauses, which are always exported.

optional bool exported = 5;

Returns

Whether the exported field is set.

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

---

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

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