Class Lrat.LratExportedClause.Builder

java.lang.Object

com.google.protobuf.AbstractMessageLite.Builder

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

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

operations_research.sat.Lrat.LratExportedClause.Builder

All Implemented Interfaces:

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

Enclosing class:

Lrat.LratExportedClause

public static final class Lrat.LratExportedClause.Builder
extends com.google.protobuf.GeneratedMessage.Builder<Lrat.LratExportedClause.Builder>
implements Lrat.LratExportedClauseOrBuilder

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

Method Summary

Modifier and Type	Method	Description
Lrat.LratExportedClause.Builder	addAllLiterals(Iterable<? extends Integer> values)	repeated int32 literals = 2 [packed = true];
Lrat.LratExportedClause.Builder	addLiterals(int value)	repeated int32 literals = 2 [packed = true];
Lrat.LratExportedClause	build()
Lrat.LratExportedClause	buildPartial()
Lrat.LratExportedClause.Builder	clear()
Lrat.LratExportedClause.Builder	clearClauseId()	optional int64 clause_id = 1;
Lrat.LratExportedClause.Builder	clearLiterals()	repeated int32 literals = 2 [packed = true];
long	getClauseId()	optional int64 clause_id = 1;
Lrat.LratExportedClause	getDefaultInstanceForType()
static final com.google.protobuf.Descriptors.Descriptor	getDescriptor()
com.google.protobuf.Descriptors.Descriptor	getDescriptorForType()
int	getLiterals(int index)	repeated int32 literals = 2 [packed = true];
int	getLiteralsCount()	repeated int32 literals = 2 [packed = true];
List<Integer>	getLiteralsList()	repeated int32 literals = 2 [packed = true];
boolean	hasClauseId()	optional int64 clause_id = 1;
protected com.google.protobuf.GeneratedMessage.FieldAccessorTable	internalGetFieldAccessorTable()
final boolean	isInitialized()
Lrat.LratExportedClause.Builder	mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Lrat.LratExportedClause.Builder	mergeFrom(com.google.protobuf.Message other)
Lrat.LratExportedClause.Builder	mergeFrom(Lrat.LratExportedClause other)
Lrat.LratExportedClause.Builder	setClauseId(long value)	optional int64 clause_id = 1;
Lrat.LratExportedClause.Builder	setLiterals(int index, int value)	repeated int32 literals = 2 [packed = true];

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.LratExportedClause.Builder>

clear

public Lrat.LratExportedClause.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.LratExportedClause.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.LratExportedClause.Builder>

getDefaultInstanceForType

public Lrat.LratExportedClause getDefaultInstanceForType()

Specified by:

getDefaultInstanceForType in interface com.google.protobuf.MessageLiteOrBuilder

Specified by:

getDefaultInstanceForType in interface com.google.protobuf.MessageOrBuilder

build

public Lrat.LratExportedClause build()

Specified by:

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

Specified by:

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

buildPartial

public Lrat.LratExportedClause buildPartial()

Specified by:

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

Specified by:

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

mergeFrom

public Lrat.LratExportedClause.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.LratExportedClause.Builder>

mergeFrom

public Lrat.LratExportedClause.Builder mergeFrom(Lrat.LratExportedClause 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.LratExportedClause.Builder>

mergeFrom

public Lrat.LratExportedClause.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.LratExportedClause.Builder>

Throws:

IOException

hasClauseId

public boolean hasClauseId()

optional int64 clause_id = 1;

Specified by:

hasClauseId in interface Lrat.LratExportedClauseOrBuilder

Returns:

Whether the clauseId field is set.

getClauseId

public long getClauseId()

optional int64 clause_id = 1;

Specified by:

getClauseId in interface Lrat.LratExportedClauseOrBuilder

Returns:

The clauseId.

setClauseId

public Lrat.LratExportedClause.Builder setClauseId(long value)

optional int64 clause_id = 1;

Parameters:

value - The clauseId to set.

Returns:

This builder for chaining.

clearClauseId

public Lrat.LratExportedClause.Builder clearClauseId()

optional int64 clause_id = 1;

Returns:

This builder for chaining.

getLiteralsList

public List<Integer> getLiteralsList()

repeated int32 literals = 2 [packed = true];

Specified by:

getLiteralsList in interface Lrat.LratExportedClauseOrBuilder

Returns:

A list containing the literals.

getLiteralsCount

public int getLiteralsCount()

repeated int32 literals = 2 [packed = true];

Specified by:

getLiteralsCount in interface Lrat.LratExportedClauseOrBuilder

Returns:

The count of literals.

getLiterals

public int getLiterals(int index)

repeated int32 literals = 2 [packed = true];

Specified by:

getLiterals in interface Lrat.LratExportedClauseOrBuilder

Parameters:

index - The index of the element to return.

Returns:

The literals at the given index.

setLiterals

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

addLiterals

public Lrat.LratExportedClause.Builder addLiterals(int value)

repeated int32 literals = 2 [packed = true];

Parameters:

value - The literals to add.

Returns:

This builder for chaining.

addAllLiterals

public Lrat.LratExportedClause.Builder addAllLiterals(Iterable<? extends Integer> values)

repeated int32 literals = 2 [packed = true];

Parameters:

values - The literals to add.

Returns:

This builder for chaining.

clearLiterals

public Lrat.LratExportedClause.Builder clearLiterals()

repeated int32 literals = 2 [packed = true];

Returns:

This builder for chaining.