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

Detailed Description

A clause imported from the input problem, or from another worker.

Protobuf type operations_research.sat.LratImportedClause

Definition at line 68 of file Lrat.java.

Inheritance diagram for operations_research.sat.Lrat.LratImportedClause:
operations_research.sat.Lrat.LratImportedClauseOrBuilder

Classes

class  Builder

Public Member Functions

boolean hasClauseId ()
long getClauseId ()
java.util.List< java.lang.Integer > getLiteralsList ()
int getLiteralsCount ()
int getLiterals (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< LratImportedClause > getParserForType ()
operations_research.sat.Lrat.LratImportedClause getDefaultInstanceForType ()

Static Public Member Functions

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

Static Public Attributes

static final int CLAUSE_ID_FIELD_NUMBER = 1
static final int LITERALS_FIELD_NUMBER = 2

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.LratImportedClause.equals ( final java.lang.Object obj)

Definition at line 211 of file Lrat.java.

◆ getClauseId()

long operations_research.sat.Lrat.LratImportedClause.getClauseId ( )

optional int64 clause_id = 1;

Returns
The clauseId.

Implements operations_research.sat.Lrat.LratImportedClauseOrBuilder.

Definition at line 119 of file Lrat.java.

◆ getDefaultInstance()

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

Definition at line 652 of file Lrat.java.

◆ getDefaultInstanceForType()

operations_research.sat.Lrat.LratImportedClause operations_research.sat.Lrat.LratImportedClause.getDefaultInstanceForType ( )

Definition at line 688 of file Lrat.java.

◆ getDescriptor()

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

Definition at line 91 of file Lrat.java.

◆ getLiterals()

int operations_research.sat.Lrat.LratImportedClause.getLiterals ( int index)

repeated int32 literals = 2 [packed = true];

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

Implements operations_research.sat.Lrat.LratImportedClauseOrBuilder.

Definition at line 148 of file Lrat.java.

◆ getLiteralsCount()

int operations_research.sat.Lrat.LratImportedClause.getLiteralsCount ( )

repeated int32 literals = 2 [packed = true];

Returns
The count of literals.

Implements operations_research.sat.Lrat.LratImportedClauseOrBuilder.

Definition at line 140 of file Lrat.java.

◆ getLiteralsList()

java.util.List< java.lang.Integer > operations_research.sat.Lrat.LratImportedClause.getLiteralsList ( )

repeated int32 literals = 2 [packed = true];

Returns
A list containing the literals.

Implements operations_research.sat.Lrat.LratImportedClauseOrBuilder.

Definition at line 133 of file Lrat.java.

◆ getParserForType()

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

Definition at line 683 of file Lrat.java.

◆ getSerializedSize()

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

Definition at line 182 of file Lrat.java.

◆ hasClauseId()

boolean operations_research.sat.Lrat.LratImportedClause.hasClauseId ( )

optional int64 clause_id = 1;

Returns
Whether the clauseId field is set.

Implements operations_research.sat.Lrat.LratImportedClauseOrBuilder.

Definition at line 111 of file Lrat.java.

◆ hashCode()

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

Definition at line 232 of file Lrat.java.

◆ internalGetFieldAccessorTable()

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

Definition at line 97 of file Lrat.java.

◆ isInitialized()

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

Definition at line 155 of file Lrat.java.

◆ newBuilder() [1/2]

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

Definition at line 326 of file Lrat.java.

◆ newBuilder() [2/2]

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

Definition at line 329 of file Lrat.java.

◆ newBuilderForType() [1/2]

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

Definition at line 325 of file Lrat.java.

◆ newBuilderForType() [2/2]

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

Definition at line 339 of file Lrat.java.

◆ parseDelimitedFrom() [1/2]

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

Definition at line 297 of file Lrat.java.

◆ parseDelimitedFrom() [2/2]

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

Definition at line 303 of file Lrat.java.

◆ parseFrom() [1/10]

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

Definition at line 274 of file Lrat.java.

◆ parseFrom() [2/10]

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

Definition at line 278 of file Lrat.java.

◆ parseFrom() [3/10]

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

Definition at line 263 of file Lrat.java.

◆ parseFrom() [4/10]

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

Definition at line 268 of file Lrat.java.

◆ parseFrom() [5/10]

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

Definition at line 310 of file Lrat.java.

◆ parseFrom() [6/10]

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

Definition at line 316 of file Lrat.java.

◆ parseFrom() [7/10]

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

Definition at line 284 of file Lrat.java.

◆ parseFrom() [8/10]

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

Definition at line 289 of file Lrat.java.

◆ parseFrom() [9/10]

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

Definition at line 252 of file Lrat.java.

◆ parseFrom() [10/10]

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

Definition at line 257 of file Lrat.java.

◆ parser()

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

Definition at line 678 of file Lrat.java.

◆ toBuilder()

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

Definition at line 333 of file Lrat.java.

◆ writeTo()

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

Definition at line 165 of file Lrat.java.

Member Data Documentation

◆ CLAUSE_ID_FIELD_NUMBER

final int operations_research.sat.Lrat.LratImportedClause.CLAUSE_ID_FIELD_NUMBER = 1
static

Definition at line 104 of file Lrat.java.

◆ LITERALS_FIELD_NUMBER

final int operations_research.sat.Lrat.LratImportedClause.LITERALS_FIELD_NUMBER = 2
static

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