operations_research.sat.Lrat.LratImportedClause.Builder Class Reference

Detailed Description

A clause imported from the input problem, or from another worker.

Protobuf type operations_research.sat.LratImportedClause

Definition at line 351 of file Lrat.java.

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

Public Member Functions
Builder	clear ()
com.google.protobuf.Descriptors.Descriptor	getDescriptorForType ()
operations_research.sat.Lrat.LratImportedClause	getDefaultInstanceForType ()
operations_research.sat.Lrat.LratImportedClause	build ()
operations_research.sat.Lrat.LratImportedClause	buildPartial ()
Builder	mergeFrom (com.google.protobuf.Message other)
Builder	mergeFrom (operations_research.sat.Lrat.LratImportedClause other)
final boolean	isInitialized ()
Builder	mergeFrom (com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
boolean	hasClauseId ()
long	getClauseId ()
Builder	setClauseId (long value)
Builder	clearClauseId ()
java.util.List< java.lang.Integer >	getLiteralsList ()
int	getLiteralsCount ()
int	getLiterals (int index)
Builder	setLiterals (int index, int value)
Builder	addLiterals (int value)
Builder	addAllLiterals (java.lang.Iterable<? extends java.lang.Integer > values)
Builder	clearLiterals ()

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

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

Member Function Documentation

addAllLiterals()

Builder operations_research.sat.Lrat.LratImportedClause.Builder.addAllLiterals

(

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

values

)

repeated int32 literals = 2 [packed = true];

Parameters

values

The literals to add.

Returns

This builder for chaining.

Definition at line 623 of file Lrat.java.

addLiterals()

Builder operations_research.sat.Lrat.LratImportedClause.Builder.addLiterals

(

int

value

)

repeated int32 literals = 2 [packed = true];

Parameters

value

The literals to add.

Returns

This builder for chaining.

Definition at line 610 of file Lrat.java.

build()

operations_research.sat.Lrat.LratImportedClause operations_research.sat.Lrat.LratImportedClause.Builder.build

(

)

Definition at line 399 of file Lrat.java.

buildPartial()

operations_research.sat.Lrat.LratImportedClause operations_research.sat.Lrat.LratImportedClause.Builder.buildPartial

(

)

Definition at line 408 of file Lrat.java.

clear()

Builder operations_research.sat.Lrat.LratImportedClause.Builder.clear

(

)

Definition at line 379 of file Lrat.java.

clearClauseId()

Builder operations_research.sat.Lrat.LratImportedClause.Builder.clearClauseId

(

)

optional int64 clause_id = 1;

Returns

This builder for chaining.

Definition at line 552 of file Lrat.java.

clearLiterals()

Builder operations_research.sat.Lrat.LratImportedClause.Builder.clearLiterals

(

)

repeated int32 literals = 2 [packed = true];

Returns

This builder for chaining.

Definition at line 636 of file Lrat.java.

getClauseId()

long operations_research.sat.Lrat.LratImportedClause.Builder.getClauseId

(

)

optional int64 clause_id = 1;

Returns

The clauseId.

Implements operations_research.sat.Lrat.LratImportedClauseOrBuilder.

Definition at line 533 of file Lrat.java.

getDefaultInstanceForType()

operations_research.sat.Lrat.LratImportedClause operations_research.sat.Lrat.LratImportedClause.Builder.getDefaultInstanceForType

(

)

Definition at line 394 of file Lrat.java.

getDescriptor()

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

static

Definition at line 356 of file Lrat.java.

getDescriptorForType()

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

(

)

Definition at line 389 of file Lrat.java.

getLiterals()

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

Implements operations_research.sat.Lrat.LratImportedClauseOrBuilder.

Definition at line 587 of file Lrat.java.

getLiteralsCount()

int operations_research.sat.Lrat.LratImportedClause.Builder.getLiteralsCount

(

)

repeated int32 literals = 2 [packed = true];

Returns

The count of literals.

Implements operations_research.sat.Lrat.LratImportedClauseOrBuilder.

Definition at line 579 of file Lrat.java.

getLiteralsList()

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

(

)

repeated int32 literals = 2 [packed = true];

Returns

A list containing the literals.

Implements operations_research.sat.Lrat.LratImportedClauseOrBuilder.

Definition at line 571 of file Lrat.java.

hasClauseId()

boolean operations_research.sat.Lrat.LratImportedClause.Builder.hasClauseId

(

)

optional int64 clause_id = 1;

Returns

Whether the clauseId field is set.

Implements operations_research.sat.Lrat.LratImportedClauseOrBuilder.

Definition at line 525 of file Lrat.java.

internalGetFieldAccessorTable()

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

protected

Definition at line 362 of file Lrat.java.

isInitialized()

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

(

)

Definition at line 461 of file Lrat.java.

mergeFrom() [1/3]

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

Definition at line 466 of file Lrat.java.

mergeFrom() [2/3]

Builder operations_research.sat.Lrat.LratImportedClause.Builder.mergeFrom

(

com.google.protobuf.Message

other

)

Definition at line 430 of file Lrat.java.

mergeFrom() [3/3]

Builder operations_research.sat.Lrat.LratImportedClause.Builder.mergeFrom

(

operations_research.sat.Lrat.LratImportedClause

other

)

Definition at line 439 of file Lrat.java.

setClauseId()

Builder operations_research.sat.Lrat.LratImportedClause.Builder.setClauseId

(

long

value

)

optional int64 clause_id = 1;

Parameters

value

The clauseId to set.

Returns

This builder for chaining.

Definition at line 541 of file Lrat.java.

setLiterals()

Builder operations_research.sat.Lrat.LratImportedClause.Builder.setLiterals	(	int	index,
		int	value )

repeated int32 literals = 2 [packed = true];

Parameters

index	The index to set the value at.
value	The literals to set.

Returns

This builder for chaining.

Definition at line 596 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