Class Lrat.LratExportedClause

java.lang.Object

com.google.protobuf.AbstractMessageLite

com.google.protobuf.AbstractMessage

com.google.protobuf.GeneratedMessage

operations_research.sat.Lrat.LratExportedClause

All Implemented Interfaces:

com.google.protobuf.Message, com.google.protobuf.MessageLite, com.google.protobuf.MessageLiteOrBuilder, com.google.protobuf.MessageOrBuilder, Serializable, Lrat.LratExportedClauseOrBuilder

Enclosing class:

Lrat

public static final class Lrat.LratExportedClause
extends com.google.protobuf.GeneratedMessage
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

See Also:

• Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final class	Lrat.LratExportedClause.Builder	A clause to export, so that it can be imported from any worker.

Nested classes/interfaces inherited from class com.google.protobuf.GeneratedMessage

com.google.protobuf.GeneratedMessage.ExtendableBuilder<MessageT,BuilderT>, com.google.protobuf.GeneratedMessage.ExtendableMessage<MessageT>, com.google.protobuf.GeneratedMessage.ExtendableMessageOrBuilder<MessageT>, com.google.protobuf.GeneratedMessage.FieldAccessorTable, com.google.protobuf.GeneratedMessage.GeneratedExtension<ContainingT, T>, com.google.protobuf.GeneratedMessage.UnusedPrivateParameter

Nested classes/interfaces inherited from class com.google.protobuf.AbstractMessage

com.google.protobuf.AbstractMessage.BuilderParent

Nested classes/interfaces inherited from class com.google.protobuf.AbstractMessageLite

com.google.protobuf.AbstractMessageLite.InternalOneOfEnum

Field Summary

Fields

Modifier and Type	Field	Description
static final int	CLAUSE_ID_FIELD_NUMBER
static final int	LITERALS_FIELD_NUMBER

Fields inherited from class com.google.protobuf.GeneratedMessage

alwaysUseFieldBuilders, loggedPre22TypeNames, unknownFields

Fields inherited from class com.google.protobuf.AbstractMessage

memoizedSize

Fields inherited from class com.google.protobuf.AbstractMessageLite

memoizedHashCode

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)
long	getClauseId()	optional int64 clause_id = 1;
static Lrat.LratExportedClause	getDefaultInstance()
Lrat.LratExportedClause	getDefaultInstanceForType()
static final com.google.protobuf.Descriptors.Descriptor	getDescriptor()
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];
com.google.protobuf.Parser<Lrat.LratExportedClause>	getParserForType()
int	getSerializedSize()
boolean	hasClauseId()	optional int64 clause_id = 1;
int	hashCode()
protected com.google.protobuf.GeneratedMessage.FieldAccessorTable	internalGetFieldAccessorTable()
final boolean	isInitialized()
static Lrat.LratExportedClause.Builder	newBuilder()
static Lrat.LratExportedClause.Builder	newBuilder(Lrat.LratExportedClause prototype)
Lrat.LratExportedClause.Builder	newBuilderForType()
protected Lrat.LratExportedClause.Builder	newBuilderForType(com.google.protobuf.AbstractMessage.BuilderParent parent)
static Lrat.LratExportedClause	parseDelimitedFrom(InputStream input)
static Lrat.LratExportedClause	parseDelimitedFrom(InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
static Lrat.LratExportedClause	parseFrom(byte[] data)
static Lrat.LratExportedClause	parseFrom(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
static Lrat.LratExportedClause	parseFrom(com.google.protobuf.ByteString data)
static Lrat.LratExportedClause	parseFrom(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
static Lrat.LratExportedClause	parseFrom(com.google.protobuf.CodedInputStream input)
static Lrat.LratExportedClause	parseFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
static Lrat.LratExportedClause	parseFrom(InputStream input)
static Lrat.LratExportedClause	parseFrom(InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
static Lrat.LratExportedClause	parseFrom(ByteBuffer data)
static Lrat.LratExportedClause	parseFrom(ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
static com.google.protobuf.Parser<Lrat.LratExportedClause>	parser()
Lrat.LratExportedClause.Builder	toBuilder()
void	writeTo(com.google.protobuf.CodedOutputStream output)

Methods inherited from class com.google.protobuf.GeneratedMessage

canUseUnsafe, computeStringSize, computeStringSizeNoTag, emptyBooleanList, emptyDoubleList, emptyFloatList, emptyIntList, emptyList, emptyLongList, getAllFields, getDescriptorForType, getField, getOneofFieldDescriptor, getRepeatedField, getRepeatedFieldCount, getUnknownFields, hasField, hasOneof, internalGetMapField, internalGetMapFieldReflection, isStringEmpty, makeExtensionsImmutable, makeMutableCopy, makeMutableCopy, mergeFromAndMakeImmutableInternal, newFileScopedGeneratedExtension, newInstance, newMessageScopedGeneratedExtension, parseDelimitedWithIOException, parseDelimitedWithIOException, parseUnknownField, parseUnknownFieldProto3, parseWithIOException, parseWithIOException, parseWithIOException, parseWithIOException, serializeBooleanMapTo, serializeIntegerMapTo, serializeLongMapTo, serializeStringMapTo, writeReplace, writeString, writeStringNoTag

Methods inherited from class com.google.protobuf.AbstractMessage

findInitializationErrors, getInitializationErrorString, hashFields, toString

Methods inherited from class com.google.protobuf.AbstractMessageLite

addAll, checkByteStringIsUtf8, toByteArray, toByteString, writeDelimitedTo, writeTo

Methods inherited from class Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface com.google.protobuf.MessageLite

toByteArray, toByteString, writeDelimitedTo, writeTo

Methods inherited from interface com.google.protobuf.MessageOrBuilder

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

Field Details

CLAUSE_ID_FIELD_NUMBER

public static final int CLAUSE_ID_FIELD_NUMBER

See Also:

• Constant Field Values

LITERALS_FIELD_NUMBER

public static final int LITERALS_FIELD_NUMBER

See Also:

• Constant Field Values

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

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.

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.

isInitialized

public final boolean isInitialized()

Specified by:

isInitialized in interface com.google.protobuf.MessageLiteOrBuilder

Overrides:

isInitialized in class com.google.protobuf.GeneratedMessage

writeTo

public void writeTo(com.google.protobuf.CodedOutputStream output)
             throws IOException

Specified by:

writeTo in interface com.google.protobuf.MessageLite

Overrides:

writeTo in class com.google.protobuf.GeneratedMessage

Throws:

IOException

getSerializedSize

public int getSerializedSize()

Specified by:

getSerializedSize in interface com.google.protobuf.MessageLite

Overrides:

getSerializedSize in class com.google.protobuf.GeneratedMessage

equals

public boolean equals(Object obj)

Specified by:

equals in interface com.google.protobuf.Message

Overrides:

equals in class com.google.protobuf.AbstractMessage

hashCode

public int hashCode()

Specified by:

hashCode in interface com.google.protobuf.Message

Overrides:

hashCode in class com.google.protobuf.AbstractMessage

parseFrom

public static Lrat.LratExportedClause parseFrom(ByteBuffer data)
                                         throws com.google.protobuf.InvalidProtocolBufferException

Throws:

com.google.protobuf.InvalidProtocolBufferException

parseFrom

public static Lrat.LratExportedClause parseFrom(ByteBuffer data,
 com.google.protobuf.ExtensionRegistryLite extensionRegistry)
                                         throws com.google.protobuf.InvalidProtocolBufferException

Throws:

com.google.protobuf.InvalidProtocolBufferException

parseFrom

public static Lrat.LratExportedClause parseFrom(com.google.protobuf.ByteString data)
                                         throws com.google.protobuf.InvalidProtocolBufferException

Throws:

com.google.protobuf.InvalidProtocolBufferException

parseFrom

public static Lrat.LratExportedClause parseFrom(com.google.protobuf.ByteString data,
 com.google.protobuf.ExtensionRegistryLite extensionRegistry)
                                         throws com.google.protobuf.InvalidProtocolBufferException

Throws:

com.google.protobuf.InvalidProtocolBufferException

parseFrom

public static Lrat.LratExportedClause parseFrom(byte[] data)
                                         throws com.google.protobuf.InvalidProtocolBufferException

Throws:

com.google.protobuf.InvalidProtocolBufferException

parseFrom

public static Lrat.LratExportedClause parseFrom(byte[] data,
 com.google.protobuf.ExtensionRegistryLite extensionRegistry)
                                         throws com.google.protobuf.InvalidProtocolBufferException

Throws:

com.google.protobuf.InvalidProtocolBufferException

parseFrom

public static Lrat.LratExportedClause parseFrom(InputStream input)
                                         throws IOException

Throws:

IOException

parseFrom

public static Lrat.LratExportedClause parseFrom(InputStream input,
 com.google.protobuf.ExtensionRegistryLite extensionRegistry)
                                         throws IOException

Throws:

IOException

parseDelimitedFrom

public static Lrat.LratExportedClause parseDelimitedFrom(InputStream input)
                                                  throws IOException

Throws:

IOException

parseDelimitedFrom

public static Lrat.LratExportedClause parseDelimitedFrom(InputStream input,
 com.google.protobuf.ExtensionRegistryLite extensionRegistry)
                                                  throws IOException

Throws:

IOException

parseFrom

public static Lrat.LratExportedClause parseFrom(com.google.protobuf.CodedInputStream input)
                                         throws IOException

Throws:

IOException

parseFrom

public static Lrat.LratExportedClause parseFrom(com.google.protobuf.CodedInputStream input,
 com.google.protobuf.ExtensionRegistryLite extensionRegistry)
                                         throws IOException

Throws:

IOException

newBuilderForType

public Lrat.LratExportedClause.Builder newBuilderForType()

Specified by:

newBuilderForType in interface com.google.protobuf.Message

Specified by:

newBuilderForType in interface com.google.protobuf.MessageLite

newBuilder

public static Lrat.LratExportedClause.Builder newBuilder()

newBuilder

public static Lrat.LratExportedClause.Builder newBuilder(Lrat.LratExportedClause prototype)

toBuilder

public Lrat.LratExportedClause.Builder toBuilder()

Specified by:

toBuilder in interface com.google.protobuf.Message

Specified by:

toBuilder in interface com.google.protobuf.MessageLite

newBuilderForType

protected Lrat.LratExportedClause.Builder newBuilderForType(com.google.protobuf.AbstractMessage.BuilderParent parent)

Overrides:

newBuilderForType in class com.google.protobuf.AbstractMessage

getDefaultInstance

public static Lrat.LratExportedClause getDefaultInstance()

parser

public static com.google.protobuf.Parser<Lrat.LratExportedClause> parser()

getParserForType

public com.google.protobuf.Parser<Lrat.LratExportedClause> getParserForType()

Specified by:

getParserForType in interface com.google.protobuf.Message

Specified by:

getParserForType in interface com.google.protobuf.MessageLite

Overrides:

getParserForType in class com.google.protobuf.GeneratedMessage

getDefaultInstanceForType

public Lrat.LratExportedClause getDefaultInstanceForType()

Specified by:

getDefaultInstanceForType in interface com.google.protobuf.MessageLiteOrBuilder

Specified by:

getDefaultInstanceForType in interface com.google.protobuf.MessageOrBuilder