Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research.sat.Lrat.LratDeletedClauses Class Reference

Detailed Description

A list of clauses to delete.

Protobuf type operations_research.sat.LratDeletedClauses

Definition at line 3597 of file Lrat.java.

Inheritance diagram for operations_research.sat.Lrat.LratDeletedClauses:
operations_research.sat.Lrat.LratDeletedClausesOrBuilder

Classes

class  Builder

Public Member Functions

java.util.List< java.lang.Long > getClauseIdsList ()
int getClauseIdsCount ()
long getClauseIds (int index)
final boolean isInitialized ()
void writeTo (com.google.protobuf.CodedOutputStream output) throws java.io.IOException
int getSerializedSize ()
boolean equals (final java.lang.Object obj)
int hashCode ()
Builder newBuilderForType ()
Builder toBuilder ()
com.google.protobuf.Parser< LratDeletedClauses > getParserForType ()
operations_research.sat.Lrat.LratDeletedClauses getDefaultInstanceForType ()

Static Public Member Functions

static final com.google.protobuf.Descriptors.Descriptor getDescriptor ()
static operations_research.sat.Lrat.LratDeletedClauses parseFrom (java.nio.ByteBuffer data) throws com.google.protobuf.InvalidProtocolBufferException
static operations_research.sat.Lrat.LratDeletedClauses parseFrom (java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
static operations_research.sat.Lrat.LratDeletedClauses parseFrom (com.google.protobuf.ByteString data) throws com.google.protobuf.InvalidProtocolBufferException
static operations_research.sat.Lrat.LratDeletedClauses parseFrom (com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
static operations_research.sat.Lrat.LratDeletedClauses parseFrom (byte[] data) throws com.google.protobuf.InvalidProtocolBufferException
static operations_research.sat.Lrat.LratDeletedClauses parseFrom (byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
static operations_research.sat.Lrat.LratDeletedClauses parseFrom (java.io.InputStream input) throws java.io.IOException
static operations_research.sat.Lrat.LratDeletedClauses parseFrom (java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
static operations_research.sat.Lrat.LratDeletedClauses parseDelimitedFrom (java.io.InputStream input) throws java.io.IOException
static operations_research.sat.Lrat.LratDeletedClauses parseDelimitedFrom (java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
static operations_research.sat.Lrat.LratDeletedClauses parseFrom (com.google.protobuf.CodedInputStream input) throws java.io.IOException
static operations_research.sat.Lrat.LratDeletedClauses parseFrom (com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
static Builder newBuilder ()
static Builder newBuilder (operations_research.sat.Lrat.LratDeletedClauses prototype)
static operations_research.sat.Lrat.LratDeletedClauses getDefaultInstance ()
static com.google.protobuf.Parser< LratDeletedClauses > parser ()

Static Public Attributes

static final int CLAUSE_IDS_FIELD_NUMBER = 1

Protected Member Functions

com.google.protobuf.GeneratedMessage.FieldAccessorTable internalGetFieldAccessorTable ()
Builder newBuilderForType (com.google.protobuf.GeneratedMessage.BuilderParent parent)

Member Function Documentation

◆ equals()

boolean operations_research.sat.Lrat.LratDeletedClauses.equals ( final java.lang.Object obj)

Definition at line 3728 of file Lrat.java.

◆ getClauseIds()

long operations_research.sat.Lrat.LratDeletedClauses.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];

Parameters
indexThe index of the element to return.
Returns
The clauseIds at the given index.

Implements operations_research.sat.Lrat.LratDeletedClausesOrBuilder.

Definition at line 3672 of file Lrat.java.

◆ getClauseIdsCount()

int operations_research.sat.Lrat.LratDeletedClauses.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];

Returns
The count of clauseIds.

Implements operations_research.sat.Lrat.LratDeletedClausesOrBuilder.

Definition at line 3659 of file Lrat.java.

◆ getClauseIdsList()

java.util.List< java.lang.Long > operations_research.sat.Lrat.LratDeletedClauses.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];

Returns
A list containing the clauseIds.

Implements operations_research.sat.Lrat.LratDeletedClausesOrBuilder.

Definition at line 3647 of file Lrat.java.

◆ getDefaultInstance()

operations_research.sat.Lrat.LratDeletedClauses operations_research.sat.Lrat.LratDeletedClauses.getDefaultInstance ( )
static

Definition at line 4139 of file Lrat.java.

◆ getDefaultInstanceForType()

operations_research.sat.Lrat.LratDeletedClauses operations_research.sat.Lrat.LratDeletedClauses.getDefaultInstanceForType ( )

Definition at line 4175 of file Lrat.java.

◆ getDescriptor()

final com.google.protobuf.Descriptors.Descriptor operations_research.sat.Lrat.LratDeletedClauses.getDescriptor ( )
static

Definition at line 3620 of file Lrat.java.

◆ getParserForType()

com.google.protobuf.Parser< LratDeletedClauses > operations_research.sat.Lrat.LratDeletedClauses.getParserForType ( )

Definition at line 4170 of file Lrat.java.

◆ getSerializedSize()

int operations_research.sat.Lrat.LratDeletedClauses.getSerializedSize ( )

Definition at line 3703 of file Lrat.java.

◆ hashCode()

int operations_research.sat.Lrat.LratDeletedClauses.hashCode ( )

Definition at line 3744 of file Lrat.java.

◆ internalGetFieldAccessorTable()

com.google.protobuf.GeneratedMessage.FieldAccessorTable operations_research.sat.Lrat.LratDeletedClauses.internalGetFieldAccessorTable ( )
protected

Definition at line 3626 of file Lrat.java.

◆ isInitialized()

final boolean operations_research.sat.Lrat.LratDeletedClauses.isInitialized ( )

Definition at line 3679 of file Lrat.java.

◆ newBuilder() [1/2]

Builder operations_research.sat.Lrat.LratDeletedClauses.newBuilder ( )
static

Definition at line 3833 of file Lrat.java.

◆ newBuilder() [2/2]

Builder operations_research.sat.Lrat.LratDeletedClauses.newBuilder ( operations_research.sat.Lrat.LratDeletedClauses prototype)
static

Definition at line 3836 of file Lrat.java.

◆ newBuilderForType() [1/2]

Builder operations_research.sat.Lrat.LratDeletedClauses.newBuilderForType ( )

Definition at line 3832 of file Lrat.java.

◆ newBuilderForType() [2/2]

Builder operations_research.sat.Lrat.LratDeletedClauses.newBuilderForType ( com.google.protobuf.GeneratedMessage.BuilderParent parent)
protected

Definition at line 3846 of file Lrat.java.

◆ parseDelimitedFrom() [1/2]

operations_research.sat.Lrat.LratDeletedClauses operations_research.sat.Lrat.LratDeletedClauses.parseDelimitedFrom ( java.io.InputStream input) throws java.io.IOException
static

Definition at line 3804 of file Lrat.java.

◆ parseDelimitedFrom() [2/2]

operations_research.sat.Lrat.LratDeletedClauses operations_research.sat.Lrat.LratDeletedClauses.parseDelimitedFrom ( java.io.InputStream input,
com.google.protobuf.ExtensionRegistryLite extensionRegistry ) throws java.io.IOException
static

Definition at line 3810 of file Lrat.java.

◆ parseFrom() [1/10]

operations_research.sat.Lrat.LratDeletedClauses operations_research.sat.Lrat.LratDeletedClauses.parseFrom ( byte[] data) throws com.google.protobuf.InvalidProtocolBufferException
static

Definition at line 3781 of file Lrat.java.

◆ parseFrom() [2/10]

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

Definition at line 3785 of file Lrat.java.

◆ parseFrom() [3/10]

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

Definition at line 3770 of file Lrat.java.

◆ parseFrom() [4/10]

operations_research.sat.Lrat.LratDeletedClauses operations_research.sat.Lrat.LratDeletedClauses.parseFrom ( com.google.protobuf.ByteString data,
com.google.protobuf.ExtensionRegistryLite extensionRegistry ) throws com.google.protobuf.InvalidProtocolBufferException
static

Definition at line 3775 of file Lrat.java.

◆ parseFrom() [5/10]

operations_research.sat.Lrat.LratDeletedClauses operations_research.sat.Lrat.LratDeletedClauses.parseFrom ( com.google.protobuf.CodedInputStream input) throws java.io.IOException
static

Definition at line 3817 of file Lrat.java.

◆ parseFrom() [6/10]

operations_research.sat.Lrat.LratDeletedClauses operations_research.sat.Lrat.LratDeletedClauses.parseFrom ( com.google.protobuf.CodedInputStream input,
com.google.protobuf.ExtensionRegistryLite extensionRegistry ) throws java.io.IOException
static

Definition at line 3823 of file Lrat.java.

◆ parseFrom() [7/10]

operations_research.sat.Lrat.LratDeletedClauses operations_research.sat.Lrat.LratDeletedClauses.parseFrom ( java.io.InputStream input) throws java.io.IOException
static

Definition at line 3791 of file Lrat.java.

◆ parseFrom() [8/10]

operations_research.sat.Lrat.LratDeletedClauses operations_research.sat.Lrat.LratDeletedClauses.parseFrom ( java.io.InputStream input,
com.google.protobuf.ExtensionRegistryLite extensionRegistry ) throws java.io.IOException
static

Definition at line 3796 of file Lrat.java.

◆ parseFrom() [9/10]

operations_research.sat.Lrat.LratDeletedClauses operations_research.sat.Lrat.LratDeletedClauses.parseFrom ( java.nio.ByteBuffer data) throws com.google.protobuf.InvalidProtocolBufferException
static

Definition at line 3759 of file Lrat.java.

◆ parseFrom() [10/10]

operations_research.sat.Lrat.LratDeletedClauses operations_research.sat.Lrat.LratDeletedClauses.parseFrom ( java.nio.ByteBuffer data,
com.google.protobuf.ExtensionRegistryLite extensionRegistry ) throws com.google.protobuf.InvalidProtocolBufferException
static

Definition at line 3764 of file Lrat.java.

◆ parser()

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

Definition at line 4165 of file Lrat.java.

◆ toBuilder()

Builder operations_research.sat.Lrat.LratDeletedClauses.toBuilder ( )

Definition at line 3840 of file Lrat.java.

◆ writeTo()

void operations_research.sat.Lrat.LratDeletedClauses.writeTo ( com.google.protobuf.CodedOutputStream output) throws java.io.IOException

Definition at line 3689 of file Lrat.java.

Member Data Documentation

◆ CLAUSE_IDS_FIELD_NUMBER

final int operations_research.sat.Lrat.LratDeletedClauses.CLAUSE_IDS_FIELD_NUMBER = 1
static

Definition at line 3632 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