operations_research.sat.Lrat.LratDeletedClauses.Builder Class Reference

Detailed Description

A list of clauses to delete.

Protobuf type operations_research.sat.LratDeletedClauses

Definition at line 3858 of file Lrat.java.

Inheritance diagram for operations_research.sat.Lrat.LratDeletedClauses.Builder:

Public Member Functions
Builder	clear ()
com.google.protobuf.Descriptors.Descriptor	getDescriptorForType ()
operations_research.sat.Lrat.LratDeletedClauses	getDefaultInstanceForType ()
operations_research.sat.Lrat.LratDeletedClauses	build ()
operations_research.sat.Lrat.LratDeletedClauses	buildPartial ()
Builder	mergeFrom (com.google.protobuf.Message other)
Builder	mergeFrom (operations_research.sat.Lrat.LratDeletedClauses other)
final boolean	isInitialized ()
Builder	mergeFrom (com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
java.util.List< java.lang.Long >	getClauseIdsList ()
int	getClauseIdsCount ()
long	getClauseIds (int index)
Builder	setClauseIds (int index, long value)
Builder	addClauseIds (long value)
Builder	addAllClauseIds (java.lang.Iterable<? extends java.lang.Long > values)
Builder	clearClauseIds ()

Static Public Member Functions
static final com.google.protobuf.Descriptors.Descriptor	getDescriptor ()

Protected Member Functions
com.google.protobuf.GeneratedMessage.FieldAccessorTable	internalGetFieldAccessorTable ()

Member Function Documentation

addAllClauseIds()

Builder operations_research.sat.Lrat.LratDeletedClauses.Builder.addAllClauseIds

(

java.lang.Iterable<? extends java.lang.Long >

values

)

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

values

The clauseIds to add.

Returns

This builder for chaining.

Definition at line 4105 of file Lrat.java.

addClauseIds()

Builder operations_research.sat.Lrat.LratDeletedClauses.Builder.addClauseIds

(

long

value

)

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

value

The clauseIds to add.

Returns

This builder for chaining.

Definition at line 4087 of file Lrat.java.

build()

operations_research.sat.Lrat.LratDeletedClauses operations_research.sat.Lrat.LratDeletedClauses.Builder.build

(

)

Definition at line 3905 of file Lrat.java.

buildPartial()

operations_research.sat.Lrat.LratDeletedClauses operations_research.sat.Lrat.LratDeletedClauses.Builder.buildPartial

(

)

Definition at line 3914 of file Lrat.java.

clear()

Builder operations_research.sat.Lrat.LratDeletedClauses.Builder.clear

(

)

Definition at line 3886 of file Lrat.java.

clearClauseIds()

Builder operations_research.sat.Lrat.LratDeletedClauses.Builder.clearClauseIds

(

)

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

This builder for chaining.

Definition at line 4123 of file Lrat.java.

getClauseIds()

long operations_research.sat.Lrat.LratDeletedClauses.Builder.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.

Implements operations_research.sat.Lrat.LratDeletedClausesOrBuilder.

Definition at line 4054 of file Lrat.java.

getClauseIdsCount()

int operations_research.sat.Lrat.LratDeletedClauses.Builder.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.

Implements operations_research.sat.Lrat.LratDeletedClausesOrBuilder.

Definition at line 4041 of file Lrat.java.

getClauseIdsList()

java.util.List< java.lang.Long > operations_research.sat.Lrat.LratDeletedClauses.Builder.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.

Implements operations_research.sat.Lrat.LratDeletedClausesOrBuilder.

Definition at line 4028 of file Lrat.java.

getDefaultInstanceForType()

operations_research.sat.Lrat.LratDeletedClauses operations_research.sat.Lrat.LratDeletedClauses.Builder.getDefaultInstanceForType

(

)

Definition at line 3900 of file Lrat.java.

getDescriptor()

final com.google.protobuf.Descriptors.Descriptor operations_research.sat.Lrat.LratDeletedClauses.Builder.getDescriptor ( )

static

Definition at line 3863 of file Lrat.java.

getDescriptorForType()

com.google.protobuf.Descriptors.Descriptor operations_research.sat.Lrat.LratDeletedClauses.Builder.getDescriptorForType

(

)

Definition at line 3895 of file Lrat.java.

internalGetFieldAccessorTable()

com.google.protobuf.GeneratedMessage.FieldAccessorTable operations_research.sat.Lrat.LratDeletedClauses.Builder.internalGetFieldAccessorTable ( )

protected

Definition at line 3869 of file Lrat.java.

isInitialized()

final boolean operations_research.sat.Lrat.LratDeletedClauses.Builder.isInitialized

(

)

Definition at line 3958 of file Lrat.java.

mergeFrom() [1/3]

Builder operations_research.sat.Lrat.LratDeletedClauses.Builder.mergeFrom	(	com.google.protobuf.CodedInputStream	input,
		com.google.protobuf.ExtensionRegistryLite	extensionRegistry ) throws java.io.IOException

Definition at line 3963 of file Lrat.java.

mergeFrom() [2/3]

Builder operations_research.sat.Lrat.LratDeletedClauses.Builder.mergeFrom

(

com.google.protobuf.Message

other

)

Definition at line 3930 of file Lrat.java.

mergeFrom() [3/3]

Builder operations_research.sat.Lrat.LratDeletedClauses.Builder.mergeFrom

(

operations_research.sat.Lrat.LratDeletedClauses

other

)

Definition at line 3939 of file Lrat.java.

setClauseIds()

Builder operations_research.sat.Lrat.LratDeletedClauses.Builder.setClauseIds	(	int	index,
		long	value )

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 to set the value at.
value	The clauseIds to set.

Returns

This builder for chaining.

Definition at line 4068 of file Lrat.java.

---

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

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