Google OR-Tools v9.14
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
com.google.ortools.sat.BooleanAssignment Class Reference

Detailed Description

Stores an assignment of variables as a list of true literals using their
signed representation. There will be at most one literal per variable. The
literals will be sorted by increasing variable index. The assignment may be
partial in the sense that some variables may not appear and thus not be
assigned.

Protobuf type operations_research.sat.BooleanAssignment

Definition at line 20 of file BooleanAssignment.java.

Inheritance diagram for com.google.ortools.sat.BooleanAssignment:
com.google.ortools.sat.BooleanAssignmentOrBuilder

Classes

class  Builder

Public Member Functions

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< BooleanAssignmentgetParserForType ()
com.google.ortools.sat.BooleanAssignment getDefaultInstanceForType ()

Static Public Member Functions

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

Static Public Attributes

static final int LITERALS_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 com.google.ortools.sat.BooleanAssignment.equals ( final java.lang.Object obj)

Definition at line 125 of file BooleanAssignment.java.

◆ getDefaultInstance()

com.google.ortools.sat.BooleanAssignment com.google.ortools.sat.BooleanAssignment.getDefaultInstance ( )
static

Definition at line 505 of file BooleanAssignment.java.

◆ getDefaultInstanceForType()

com.google.ortools.sat.BooleanAssignment com.google.ortools.sat.BooleanAssignment.getDefaultInstanceForType ( )

Definition at line 541 of file BooleanAssignment.java.

◆ getDescriptor()

final com.google.protobuf.Descriptors.Descriptor com.google.ortools.sat.BooleanAssignment.getDescriptor ( )
static

Definition at line 43 of file BooleanAssignment.java.

◆ getLiterals()

int com.google.ortools.sat.BooleanAssignment.getLiterals ( int index)

repeated int32 literals = 1;

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

Implements com.google.ortools.sat.BooleanAssignmentOrBuilder.

Definition at line 80 of file BooleanAssignment.java.

◆ getLiteralsCount()

int com.google.ortools.sat.BooleanAssignment.getLiteralsCount ( )

repeated int32 literals = 1;

Returns
The count of literals.

Implements com.google.ortools.sat.BooleanAssignmentOrBuilder.

Definition at line 72 of file BooleanAssignment.java.

◆ getLiteralsList()

java.util.List< java.lang.Integer > com.google.ortools.sat.BooleanAssignment.getLiteralsList ( )

repeated int32 literals = 1;

Returns
A list containing the literals.

Implements com.google.ortools.sat.BooleanAssignmentOrBuilder.

Definition at line 65 of file BooleanAssignment.java.

◆ getParserForType()

com.google.protobuf.Parser< BooleanAssignment > com.google.ortools.sat.BooleanAssignment.getParserForType ( )

Definition at line 536 of file BooleanAssignment.java.

◆ getSerializedSize()

int com.google.ortools.sat.BooleanAssignment.getSerializedSize ( )

Definition at line 105 of file BooleanAssignment.java.

◆ hashCode()

int com.google.ortools.sat.BooleanAssignment.hashCode ( )

Definition at line 141 of file BooleanAssignment.java.

◆ internalGetFieldAccessorTable()

com.google.protobuf.GeneratedMessage.FieldAccessorTable com.google.ortools.sat.BooleanAssignment.internalGetFieldAccessorTable ( )
protected

Definition at line 49 of file BooleanAssignment.java.

◆ isInitialized()

final boolean com.google.ortools.sat.BooleanAssignment.isInitialized ( )

Definition at line 86 of file BooleanAssignment.java.

◆ newBuilder() [1/2]

Builder com.google.ortools.sat.BooleanAssignment.newBuilder ( )
static

Definition at line 230 of file BooleanAssignment.java.

◆ newBuilder() [2/2]

Builder com.google.ortools.sat.BooleanAssignment.newBuilder ( com.google.ortools.sat.BooleanAssignment prototype)
static

Definition at line 233 of file BooleanAssignment.java.

◆ newBuilderForType() [1/2]

Builder com.google.ortools.sat.BooleanAssignment.newBuilderForType ( )

Definition at line 229 of file BooleanAssignment.java.

◆ newBuilderForType() [2/2]

Builder com.google.ortools.sat.BooleanAssignment.newBuilderForType ( com.google.protobuf.GeneratedMessage.BuilderParent parent)
protected

Definition at line 243 of file BooleanAssignment.java.

◆ parseDelimitedFrom() [1/2]

com.google.ortools.sat.BooleanAssignment com.google.ortools.sat.BooleanAssignment.parseDelimitedFrom ( java.io.InputStream input) throws java.io.IOException
static

Definition at line 201 of file BooleanAssignment.java.

◆ parseDelimitedFrom() [2/2]

com.google.ortools.sat.BooleanAssignment com.google.ortools.sat.BooleanAssignment.parseDelimitedFrom ( java.io.InputStream input,
com.google.protobuf.ExtensionRegistryLite extensionRegistry ) throws java.io.IOException
static

Definition at line 207 of file BooleanAssignment.java.

◆ parseFrom() [1/10]

com.google.ortools.sat.BooleanAssignment com.google.ortools.sat.BooleanAssignment.parseFrom ( byte[] data) throws com.google.protobuf.InvalidProtocolBufferException
static

Definition at line 178 of file BooleanAssignment.java.

◆ parseFrom() [2/10]

com.google.ortools.sat.BooleanAssignment com.google.ortools.sat.BooleanAssignment.parseFrom ( byte[] data,
com.google.protobuf.ExtensionRegistryLite extensionRegistry ) throws com.google.protobuf.InvalidProtocolBufferException
static

Definition at line 182 of file BooleanAssignment.java.

◆ parseFrom() [3/10]

com.google.ortools.sat.BooleanAssignment com.google.ortools.sat.BooleanAssignment.parseFrom ( com.google.protobuf.ByteString data) throws com.google.protobuf.InvalidProtocolBufferException
static

Definition at line 167 of file BooleanAssignment.java.

◆ parseFrom() [4/10]

com.google.ortools.sat.BooleanAssignment com.google.ortools.sat.BooleanAssignment.parseFrom ( com.google.protobuf.ByteString data,
com.google.protobuf.ExtensionRegistryLite extensionRegistry ) throws com.google.protobuf.InvalidProtocolBufferException
static

Definition at line 172 of file BooleanAssignment.java.

◆ parseFrom() [5/10]

com.google.ortools.sat.BooleanAssignment com.google.ortools.sat.BooleanAssignment.parseFrom ( com.google.protobuf.CodedInputStream input) throws java.io.IOException
static

Definition at line 214 of file BooleanAssignment.java.

◆ parseFrom() [6/10]

com.google.ortools.sat.BooleanAssignment com.google.ortools.sat.BooleanAssignment.parseFrom ( com.google.protobuf.CodedInputStream input,
com.google.protobuf.ExtensionRegistryLite extensionRegistry ) throws java.io.IOException
static

Definition at line 220 of file BooleanAssignment.java.

◆ parseFrom() [7/10]

com.google.ortools.sat.BooleanAssignment com.google.ortools.sat.BooleanAssignment.parseFrom ( java.io.InputStream input) throws java.io.IOException
static

Definition at line 188 of file BooleanAssignment.java.

◆ parseFrom() [8/10]

com.google.ortools.sat.BooleanAssignment com.google.ortools.sat.BooleanAssignment.parseFrom ( java.io.InputStream input,
com.google.protobuf.ExtensionRegistryLite extensionRegistry ) throws java.io.IOException
static

Definition at line 193 of file BooleanAssignment.java.

◆ parseFrom() [9/10]

com.google.ortools.sat.BooleanAssignment com.google.ortools.sat.BooleanAssignment.parseFrom ( java.nio.ByteBuffer data) throws com.google.protobuf.InvalidProtocolBufferException
static

Definition at line 156 of file BooleanAssignment.java.

◆ parseFrom() [10/10]

com.google.ortools.sat.BooleanAssignment com.google.ortools.sat.BooleanAssignment.parseFrom ( java.nio.ByteBuffer data,
com.google.protobuf.ExtensionRegistryLite extensionRegistry ) throws com.google.protobuf.InvalidProtocolBufferException
static

Definition at line 161 of file BooleanAssignment.java.

◆ parser()

com.google.protobuf.Parser< BooleanAssignment > com.google.ortools.sat.BooleanAssignment.parser ( )
static

Definition at line 531 of file BooleanAssignment.java.

◆ toBuilder()

Builder com.google.ortools.sat.BooleanAssignment.toBuilder ( )

Definition at line 237 of file BooleanAssignment.java.

◆ writeTo()

void com.google.ortools.sat.BooleanAssignment.writeTo ( com.google.protobuf.CodedOutputStream output) throws java.io.IOException

Definition at line 96 of file BooleanAssignment.java.

Member Data Documentation

◆ LITERALS_FIELD_NUMBER

final int com.google.ortools.sat.BooleanAssignment.LITERALS_FIELD_NUMBER = 1
static

Definition at line 55 of file BooleanAssignment.java.


The documentation for this class was generated from the following file: