Class Lrat.LratDeletedClauses

java.lang.Object

com.google.protobuf.AbstractMessageLite

com.google.protobuf.AbstractMessage

com.google.protobuf.GeneratedMessage

operations_research.sat.Lrat.LratDeletedClauses

All Implemented Interfaces:

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

Enclosing class:

Lrat

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

A list of clauses to delete.

Protobuf type operations_research.sat.LratDeletedClauses

See Also:

• Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final class	Lrat.LratDeletedClauses.Builder	A list of clauses to delete.

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_IDS_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	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.
static Lrat.LratDeletedClauses	getDefaultInstance()
Lrat.LratDeletedClauses	getDefaultInstanceForType()
static final com.google.protobuf.Descriptors.Descriptor	getDescriptor()
com.google.protobuf.Parser<Lrat.LratDeletedClauses>	getParserForType()
int	getSerializedSize()
int	hashCode()
protected com.google.protobuf.GeneratedMessage.FieldAccessorTable	internalGetFieldAccessorTable()
final boolean	isInitialized()
static Lrat.LratDeletedClauses.Builder	newBuilder()
static Lrat.LratDeletedClauses.Builder	newBuilder(Lrat.LratDeletedClauses prototype)
Lrat.LratDeletedClauses.Builder	newBuilderForType()
protected Lrat.LratDeletedClauses.Builder	newBuilderForType(com.google.protobuf.AbstractMessage.BuilderParent parent)
static Lrat.LratDeletedClauses	parseDelimitedFrom(InputStream input)
static Lrat.LratDeletedClauses	parseDelimitedFrom(InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
static Lrat.LratDeletedClauses	parseFrom(byte[] data)
static Lrat.LratDeletedClauses	parseFrom(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
static Lrat.LratDeletedClauses	parseFrom(com.google.protobuf.ByteString data)
static Lrat.LratDeletedClauses	parseFrom(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
static Lrat.LratDeletedClauses	parseFrom(com.google.protobuf.CodedInputStream input)
static Lrat.LratDeletedClauses	parseFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
static Lrat.LratDeletedClauses	parseFrom(InputStream input)
static Lrat.LratDeletedClauses	parseFrom(InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
static Lrat.LratDeletedClauses	parseFrom(ByteBuffer data)
static Lrat.LratDeletedClauses	parseFrom(ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
static com.google.protobuf.Parser<Lrat.LratDeletedClauses>	parser()
Lrat.LratDeletedClauses.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_IDS_FIELD_NUMBER

public static final int CLAUSE_IDS_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

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.

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.LratDeletedClauses parseFrom(ByteBuffer data)
                                         throws com.google.protobuf.InvalidProtocolBufferException

Throws:

com.google.protobuf.InvalidProtocolBufferException

parseFrom

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

Throws:

com.google.protobuf.InvalidProtocolBufferException

parseFrom

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

Throws:

com.google.protobuf.InvalidProtocolBufferException

parseFrom

public static Lrat.LratDeletedClauses 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.LratDeletedClauses parseFrom(byte[] data)
                                         throws com.google.protobuf.InvalidProtocolBufferException

Throws:

com.google.protobuf.InvalidProtocolBufferException

parseFrom

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

Throws:

com.google.protobuf.InvalidProtocolBufferException

parseFrom

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

Throws:

IOException

parseFrom

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

Throws:

IOException

parseDelimitedFrom

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

Throws:

IOException

parseDelimitedFrom

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

Throws:

IOException

parseFrom

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

Throws:

IOException

parseFrom

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

Throws:

IOException

newBuilderForType

public Lrat.LratDeletedClauses.Builder newBuilderForType()

Specified by:

newBuilderForType in interface com.google.protobuf.Message

Specified by:

newBuilderForType in interface com.google.protobuf.MessageLite

newBuilder

public static Lrat.LratDeletedClauses.Builder newBuilder()

newBuilder

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

toBuilder

public Lrat.LratDeletedClauses.Builder toBuilder()

Specified by:

toBuilder in interface com.google.protobuf.Message

Specified by:

toBuilder in interface com.google.protobuf.MessageLite

newBuilderForType

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

Overrides:

newBuilderForType in class com.google.protobuf.AbstractMessage

getDefaultInstance

public static Lrat.LratDeletedClauses getDefaultInstance()

parser

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

getParserForType

public com.google.protobuf.Parser<Lrat.LratDeletedClauses> 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.LratDeletedClauses getDefaultInstanceForType()

Specified by:

getDefaultInstanceForType in interface com.google.protobuf.MessageLiteOrBuilder

Specified by:

getDefaultInstanceForType in interface com.google.protobuf.MessageOrBuilder