Class Lrat.LratDeletedClauses.Builder

java.lang.Object

com.google.protobuf.AbstractMessageLite.Builder

com.google.protobuf.AbstractMessage.Builder<Lrat.LratDeletedClauses.Builder>

com.google.protobuf.GeneratedMessage.Builder<Lrat.LratDeletedClauses.Builder>

operations_research.sat.Lrat.LratDeletedClauses.Builder

All Implemented Interfaces:

com.google.protobuf.Message.Builder, com.google.protobuf.MessageLite.Builder, com.google.protobuf.MessageLiteOrBuilder, com.google.protobuf.MessageOrBuilder, Cloneable, Lrat.LratDeletedClausesOrBuilder

Enclosing class:

Lrat.LratDeletedClauses

public static final class Lrat.LratDeletedClauses.Builder
extends com.google.protobuf.GeneratedMessage.Builder<Lrat.LratDeletedClauses.Builder>
implements Lrat.LratDeletedClausesOrBuilder

A list of clauses to delete.

Protobuf type operations_research.sat.LratDeletedClauses

Method Summary

Modifier and Type	Method	Description
Lrat.LratDeletedClauses.Builder	addAllClauseIds(Iterable<? extends Long> values)	IDs of the imported or inferred clauses to delete.
Lrat.LratDeletedClauses.Builder	addClauseIds(long value)	IDs of the imported or inferred clauses to delete.
Lrat.LratDeletedClauses	build()
Lrat.LratDeletedClauses	buildPartial()
Lrat.LratDeletedClauses.Builder	clear()
Lrat.LratDeletedClauses.Builder	clearClauseIds()	IDs of the imported or inferred clauses to delete.
long	getClauseIds(int index)	IDs of the imported or inferred clauses to delete.
int	getClauseIdsCount()	IDs of the imported or inferred clauses to delete.
List<Long>	getClauseIdsList()	IDs of the imported or inferred clauses to delete.
Lrat.LratDeletedClauses	getDefaultInstanceForType()
static final com.google.protobuf.Descriptors.Descriptor	getDescriptor()
com.google.protobuf.Descriptors.Descriptor	getDescriptorForType()
protected com.google.protobuf.GeneratedMessage.FieldAccessorTable	internalGetFieldAccessorTable()
final boolean	isInitialized()
Lrat.LratDeletedClauses.Builder	mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Lrat.LratDeletedClauses.Builder	mergeFrom(com.google.protobuf.Message other)
Lrat.LratDeletedClauses.Builder	mergeFrom(Lrat.LratDeletedClauses other)
Lrat.LratDeletedClauses.Builder	setClauseIds(int index, long value)	IDs of the imported or inferred clauses to delete.

Methods inherited from class com.google.protobuf.GeneratedMessage.Builder

addRepeatedField, clearField, clearOneof, clone, getAllFields, getField, getFieldBuilder, getOneofFieldDescriptor, getParentForChildren, getRepeatedField, getRepeatedFieldBuilder, getRepeatedFieldCount, getUnknownFields, getUnknownFieldSetBuilder, hasField, hasOneof, internalGetMapField, internalGetMapFieldReflection, internalGetMutableMapField, internalGetMutableMapFieldReflection, isClean, markClean, mergeUnknownFields, mergeUnknownLengthDelimitedField, mergeUnknownVarintField, newBuilderForField, onBuilt, onChanged, parseUnknownField, setField, setRepeatedField, setUnknownFields, setUnknownFieldSetBuilder, setUnknownFieldsProto3

Methods inherited from class com.google.protobuf.AbstractMessage.Builder

findInitializationErrors, getInitializationErrorString, internalMergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, newUninitializedMessageException, toString

Methods inherited from class com.google.protobuf.AbstractMessageLite.Builder

addAll, addAll, mergeDelimitedFrom, mergeDelimitedFrom, mergeFrom, newUninitializedMessageException

Methods inherited from class Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface com.google.protobuf.Message.Builder

mergeDelimitedFrom, mergeDelimitedFrom

Methods inherited from interface com.google.protobuf.MessageLite.Builder

mergeFrom

Methods inherited from interface com.google.protobuf.MessageOrBuilder

findInitializationErrors, getAllFields, getField, getInitializationErrorString, getOneofFieldDescriptor, getRepeatedField, getRepeatedFieldCount, getUnknownFields, hasField, hasOneof

Method Details

getDescriptor

public static final com.google.protobuf.Descriptors.Descriptor getDescriptor()

internalGetFieldAccessorTable

protected com.google.protobuf.GeneratedMessage.FieldAccessorTable internalGetFieldAccessorTable()

Specified by:

internalGetFieldAccessorTable in class com.google.protobuf.GeneratedMessage.Builder<Lrat.LratDeletedClauses.Builder>

clear

public Lrat.LratDeletedClauses.Builder clear()

Specified by:

clear in interface com.google.protobuf.Message.Builder

Specified by:

clear in interface com.google.protobuf.MessageLite.Builder

Overrides:

clear in class com.google.protobuf.GeneratedMessage.Builder<Lrat.LratDeletedClauses.Builder>

getDescriptorForType

public com.google.protobuf.Descriptors.Descriptor getDescriptorForType()

Specified by:

getDescriptorForType in interface com.google.protobuf.Message.Builder

Specified by:

getDescriptorForType in interface com.google.protobuf.MessageOrBuilder

Overrides:

getDescriptorForType in class com.google.protobuf.GeneratedMessage.Builder<Lrat.LratDeletedClauses.Builder>

getDefaultInstanceForType

public Lrat.LratDeletedClauses getDefaultInstanceForType()

Specified by:

getDefaultInstanceForType in interface com.google.protobuf.MessageLiteOrBuilder

Specified by:

getDefaultInstanceForType in interface com.google.protobuf.MessageOrBuilder

build

public Lrat.LratDeletedClauses build()

Specified by:

build in interface com.google.protobuf.Message.Builder

Specified by:

build in interface com.google.protobuf.MessageLite.Builder

buildPartial

public Lrat.LratDeletedClauses buildPartial()

Specified by:

buildPartial in interface com.google.protobuf.Message.Builder

Specified by:

buildPartial in interface com.google.protobuf.MessageLite.Builder

mergeFrom

public Lrat.LratDeletedClauses.Builder mergeFrom(com.google.protobuf.Message other)

Specified by:

mergeFrom in interface com.google.protobuf.Message.Builder

Overrides:

mergeFrom in class com.google.protobuf.AbstractMessage.Builder<Lrat.LratDeletedClauses.Builder>

mergeFrom

public Lrat.LratDeletedClauses.Builder mergeFrom(Lrat.LratDeletedClauses other)

isInitialized

public final boolean isInitialized()

Specified by:

isInitialized in interface com.google.protobuf.MessageLiteOrBuilder

Overrides:

isInitialized in class com.google.protobuf.GeneratedMessage.Builder<Lrat.LratDeletedClauses.Builder>

mergeFrom

public Lrat.LratDeletedClauses.Builder mergeFrom(com.google.protobuf.CodedInputStream input,
 com.google.protobuf.ExtensionRegistryLite extensionRegistry)
                                          throws IOException

Specified by:

mergeFrom in interface com.google.protobuf.Message.Builder

Specified by:

mergeFrom in interface com.google.protobuf.MessageLite.Builder

Overrides:

mergeFrom in class com.google.protobuf.AbstractMessage.Builder<Lrat.LratDeletedClauses.Builder>

Throws:

IOException

getClauseIdsList

public List<Long> 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];

Specified by:

getClauseIdsList in interface Lrat.LratDeletedClausesOrBuilder

Returns:

A list containing the clauseIds.

getClauseIdsCount

public int 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];

Specified by:

getClauseIdsCount in interface Lrat.LratDeletedClausesOrBuilder

Returns:

The count of clauseIds.

getClauseIds

public long 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];

Specified by:

getClauseIds in interface Lrat.LratDeletedClausesOrBuilder

Parameters:

index - The index of the element to return.

Returns:

The clauseIds at the given index.

setClauseIds

public 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.

addClauseIds

public 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.

addAllClauseIds

public Lrat.LratDeletedClauses.Builder addAllClauseIds(Iterable<? extends 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.

clearClauseIds

public 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.