Google OR-Tools v9.12
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
Classes | Public Member Functions | Static Public Member Functions | Static Public Attributes | Protected Member Functions | List of all members
com.google.ortools.sat.BooleanAssignment Class Reference
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< BooleanAssignment > getParserForType ()
 
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< BooleanAssignment > parser ()
 

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)
 

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 19 of file BooleanAssignment.java.

Member Function Documentation

◆ equals()

boolean com.google.ortools.sat.BooleanAssignment.equals ( final java.lang.Object obj)

Definition at line 124 of file BooleanAssignment.java.

◆ getDefaultInstance()

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

Definition at line 504 of file BooleanAssignment.java.

◆ getDefaultInstanceForType()

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

Definition at line 540 of file BooleanAssignment.java.

◆ getDescriptor()

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

Definition at line 42 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 79 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 71 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 64 of file BooleanAssignment.java.

◆ getParserForType()

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

Definition at line 535 of file BooleanAssignment.java.

◆ getSerializedSize()

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

Definition at line 104 of file BooleanAssignment.java.

◆ hashCode()

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

Definition at line 140 of file BooleanAssignment.java.

◆ internalGetFieldAccessorTable()

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

Definition at line 48 of file BooleanAssignment.java.

◆ isInitialized()

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

Definition at line 85 of file BooleanAssignment.java.

◆ newBuilder() [1/2]

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

Definition at line 229 of file BooleanAssignment.java.

◆ newBuilder() [2/2]

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

Definition at line 232 of file BooleanAssignment.java.

◆ newBuilderForType() [1/2]

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

Definition at line 228 of file BooleanAssignment.java.

◆ newBuilderForType() [2/2]

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

Definition at line 242 of file BooleanAssignment.java.

◆ parseDelimitedFrom() [1/2]

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

Definition at line 200 of file BooleanAssignment.java.

◆ parseDelimitedFrom() [2/2]

static 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 206 of file BooleanAssignment.java.

◆ parseFrom() [1/10]

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

Definition at line 177 of file BooleanAssignment.java.

◆ parseFrom() [2/10]

static 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 181 of file BooleanAssignment.java.

◆ parseFrom() [3/10]

static 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 166 of file BooleanAssignment.java.

◆ parseFrom() [4/10]

static 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 171 of file BooleanAssignment.java.

◆ parseFrom() [5/10]

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

Definition at line 213 of file BooleanAssignment.java.

◆ parseFrom() [6/10]

static 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 219 of file BooleanAssignment.java.

◆ parseFrom() [7/10]

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

Definition at line 187 of file BooleanAssignment.java.

◆ parseFrom() [8/10]

static 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 192 of file BooleanAssignment.java.

◆ parseFrom() [9/10]

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

Definition at line 155 of file BooleanAssignment.java.

◆ parseFrom() [10/10]

static 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 160 of file BooleanAssignment.java.

◆ parser()

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

Definition at line 530 of file BooleanAssignment.java.

◆ toBuilder()

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

Definition at line 236 of file BooleanAssignment.java.

◆ writeTo()

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

Definition at line 95 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 54 of file BooleanAssignment.java.

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