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

Detailed Description

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

Definition at line 2927 of file Lrat.java.

Inheritance diagram for operations_research.sat.Lrat.LratExportedClause:
operations_research.sat.Lrat.LratExportedClauseOrBuilder

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< LratExportedClause > getParserForType ()
operations_research.sat.Lrat.LratExportedClause getDefaultInstanceForType ()

Static Public Member Functions

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

Definition at line 3070 of file Lrat.java.

◆ getClauseId()

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

optional int64 clause_id = 1;

Returns
The clauseId.

Implements operations_research.sat.Lrat.LratExportedClauseOrBuilder.

Definition at line 2978 of file Lrat.java.

◆ getDefaultInstance()

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

Definition at line 3512 of file Lrat.java.

◆ getDefaultInstanceForType()

operations_research.sat.Lrat.LratExportedClause operations_research.sat.Lrat.LratExportedClause.getDefaultInstanceForType ( )

Definition at line 3548 of file Lrat.java.

◆ getDescriptor()

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

Definition at line 2950 of file Lrat.java.

◆ getLiterals()

int operations_research.sat.Lrat.LratExportedClause.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.LratExportedClauseOrBuilder.

Definition at line 3007 of file Lrat.java.

◆ getLiteralsCount()

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

repeated int32 literals = 2 [packed = true];

Returns
The count of literals.

Implements operations_research.sat.Lrat.LratExportedClauseOrBuilder.

Definition at line 2999 of file Lrat.java.

◆ getLiteralsList()

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

repeated int32 literals = 2 [packed = true];

Returns
A list containing the literals.

Implements operations_research.sat.Lrat.LratExportedClauseOrBuilder.

Definition at line 2992 of file Lrat.java.

◆ getParserForType()

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

Definition at line 3543 of file Lrat.java.

◆ getSerializedSize()

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

Definition at line 3041 of file Lrat.java.

◆ hasClauseId()

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

optional int64 clause_id = 1;

Returns
Whether the clauseId field is set.

Implements operations_research.sat.Lrat.LratExportedClauseOrBuilder.

Definition at line 2970 of file Lrat.java.

◆ hashCode()

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

Definition at line 3091 of file Lrat.java.

◆ internalGetFieldAccessorTable()

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

Definition at line 2956 of file Lrat.java.

◆ isInitialized()

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

Definition at line 3014 of file Lrat.java.

◆ newBuilder() [1/2]

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

Definition at line 3185 of file Lrat.java.

◆ newBuilder() [2/2]

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

Definition at line 3188 of file Lrat.java.

◆ newBuilderForType() [1/2]

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

Definition at line 3184 of file Lrat.java.

◆ newBuilderForType() [2/2]

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

Definition at line 3198 of file Lrat.java.

◆ parseDelimitedFrom() [1/2]

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

Definition at line 3156 of file Lrat.java.

◆ parseDelimitedFrom() [2/2]

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

Definition at line 3162 of file Lrat.java.

◆ parseFrom() [1/10]

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

Definition at line 3133 of file Lrat.java.

◆ parseFrom() [2/10]

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

Definition at line 3137 of file Lrat.java.

◆ parseFrom() [3/10]

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

Definition at line 3122 of file Lrat.java.

◆ parseFrom() [4/10]

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

Definition at line 3127 of file Lrat.java.

◆ parseFrom() [5/10]

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

Definition at line 3169 of file Lrat.java.

◆ parseFrom() [6/10]

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

Definition at line 3175 of file Lrat.java.

◆ parseFrom() [7/10]

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

Definition at line 3143 of file Lrat.java.

◆ parseFrom() [8/10]

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

Definition at line 3148 of file Lrat.java.

◆ parseFrom() [9/10]

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

Definition at line 3111 of file Lrat.java.

◆ parseFrom() [10/10]

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

Definition at line 3116 of file Lrat.java.

◆ parser()

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

Definition at line 3538 of file Lrat.java.

◆ toBuilder()

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

Definition at line 3192 of file Lrat.java.

◆ writeTo()

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

Definition at line 3024 of file Lrat.java.

Member Data Documentation

◆ CLAUSE_ID_FIELD_NUMBER

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

Definition at line 2963 of file Lrat.java.

◆ LITERALS_FIELD_NUMBER

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

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