operations_research.sat.Lrat.LratExportedClause.Builder Class Reference

Detailed Description

A clause to export, so that it can be imported from any worker. This is not
needed for unary and binary clauses, which are always exported.

Protobuf type operations_research.sat.LratExportedClause

Definition at line 3211 of file Lrat.java.

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

Public Member Functions
Builder	clear ()
com.google.protobuf.Descriptors.Descriptor	getDescriptorForType ()
operations_research.sat.Lrat.LratExportedClause	getDefaultInstanceForType ()
operations_research.sat.Lrat.LratExportedClause	build ()
operations_research.sat.Lrat.LratExportedClause	buildPartial ()
Builder	mergeFrom (com.google.protobuf.Message other)
Builder	mergeFrom (operations_research.sat.Lrat.LratExportedClause 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.LratExportedClause.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 3483 of file Lrat.java.

addLiterals()

Builder operations_research.sat.Lrat.LratExportedClause.Builder.addLiterals

(

int

value

)

repeated int32 literals = 2 [packed = true];

Parameters

value

The literals to add.

Returns

This builder for chaining.

Definition at line 3470 of file Lrat.java.

build()

operations_research.sat.Lrat.LratExportedClause operations_research.sat.Lrat.LratExportedClause.Builder.build

(

)

Definition at line 3259 of file Lrat.java.

buildPartial()

operations_research.sat.Lrat.LratExportedClause operations_research.sat.Lrat.LratExportedClause.Builder.buildPartial

(

)

Definition at line 3268 of file Lrat.java.

clear()

Builder operations_research.sat.Lrat.LratExportedClause.Builder.clear

(

)

Definition at line 3239 of file Lrat.java.

clearClauseId()

Builder operations_research.sat.Lrat.LratExportedClause.Builder.clearClauseId

(

)

optional int64 clause_id = 1;

Returns

This builder for chaining.

Definition at line 3412 of file Lrat.java.

clearLiterals()

Builder operations_research.sat.Lrat.LratExportedClause.Builder.clearLiterals

(

)

repeated int32 literals = 2 [packed = true];

Returns

This builder for chaining.

Definition at line 3496 of file Lrat.java.

getClauseId()

long operations_research.sat.Lrat.LratExportedClause.Builder.getClauseId

(

)

optional int64 clause_id = 1;

Returns

The clauseId.

Implements operations_research.sat.Lrat.LratExportedClauseOrBuilder.

Definition at line 3393 of file Lrat.java.

getDefaultInstanceForType()

operations_research.sat.Lrat.LratExportedClause operations_research.sat.Lrat.LratExportedClause.Builder.getDefaultInstanceForType

(

)

Definition at line 3254 of file Lrat.java.

getDescriptor()

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

static

Definition at line 3216 of file Lrat.java.

getDescriptorForType()

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

(

)

Definition at line 3249 of file Lrat.java.

getLiterals()

int operations_research.sat.Lrat.LratExportedClause.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.LratExportedClauseOrBuilder.

Definition at line 3447 of file Lrat.java.

getLiteralsCount()

int operations_research.sat.Lrat.LratExportedClause.Builder.getLiteralsCount

(

)

repeated int32 literals = 2 [packed = true];

Returns

The count of literals.

Implements operations_research.sat.Lrat.LratExportedClauseOrBuilder.

Definition at line 3439 of file Lrat.java.

getLiteralsList()

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

(

)

repeated int32 literals = 2 [packed = true];

Returns

A list containing the literals.

Implements operations_research.sat.Lrat.LratExportedClauseOrBuilder.

Definition at line 3431 of file Lrat.java.

hasClauseId()

boolean operations_research.sat.Lrat.LratExportedClause.Builder.hasClauseId

(

)

optional int64 clause_id = 1;

Returns

Whether the clauseId field is set.

Implements operations_research.sat.Lrat.LratExportedClauseOrBuilder.

Definition at line 3385 of file Lrat.java.

internalGetFieldAccessorTable()

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

protected

Definition at line 3222 of file Lrat.java.

isInitialized()

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

(

)

Definition at line 3321 of file Lrat.java.

mergeFrom() [1/3]

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

Definition at line 3326 of file Lrat.java.

mergeFrom() [2/3]

Builder operations_research.sat.Lrat.LratExportedClause.Builder.mergeFrom

(

com.google.protobuf.Message

other

)

Definition at line 3290 of file Lrat.java.

mergeFrom() [3/3]

Builder operations_research.sat.Lrat.LratExportedClause.Builder.mergeFrom

(

operations_research.sat.Lrat.LratExportedClause

other

)

Definition at line 3299 of file Lrat.java.

setClauseId()

Builder operations_research.sat.Lrat.LratExportedClause.Builder.setClauseId

(

long

value

)

optional int64 clause_id = 1;

Parameters

value

The clauseId to set.

Returns

This builder for chaining.

Definition at line 3401 of file Lrat.java.

setLiterals()

Builder operations_research.sat.Lrat.LratExportedClause.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 3456 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