com.google.ortools.sat.BooleanAssignment Class Reference

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

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
static final com.google.protobuf.Parser< BooleanAssignment >	PARSER

Protected Member Functions
java.lang.Object	newInstance (UnusedPrivateParameter unused)
com.google.protobuf.GeneratedMessageV3.FieldAccessorTable	internalGetFieldAccessorTable ()
Builder	newBuilderForType (com.google.protobuf.GeneratedMessageV3.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 18 of file BooleanAssignment.java.

Member Function Documentation

equals()

boolean com.google.ortools.sat.BooleanAssignment.equals

(

final java.lang.Object

obj

)

Definition at line 121 of file BooleanAssignment.java.

getDefaultInstance()

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

static

Definition at line 545 of file BooleanAssignment.java.

getDefaultInstanceForType()

com.google.ortools.sat.BooleanAssignment com.google.ortools.sat.BooleanAssignment.getDefaultInstanceForType

(

)

Definition at line 581 of file BooleanAssignment.java.

getDescriptor()

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

static

Definition at line 39 of file BooleanAssignment.java.

getLiterals()

int com.google.ortools.sat.BooleanAssignment.getLiterals

(

int

index

)

repeated int32 literals = 1;

Parameters

index

The index of the element to return.

Returns

The literals at the given index.

Implements com.google.ortools.sat.BooleanAssignmentOrBuilder.

Definition at line 76 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 68 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 61 of file BooleanAssignment.java.

getParserForType()

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

(

)

Definition at line 576 of file BooleanAssignment.java.

getSerializedSize()

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

(

)

Definition at line 101 of file BooleanAssignment.java.

hashCode()

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

(

)

Definition at line 137 of file BooleanAssignment.java.

internalGetFieldAccessorTable()

com.google.protobuf.GeneratedMessageV3.FieldAccessorTable com.google.ortools.sat.BooleanAssignment.internalGetFieldAccessorTable ( )

protected

Definition at line 45 of file BooleanAssignment.java.

isInitialized()

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

(

)

Definition at line 82 of file BooleanAssignment.java.

newBuilder() [1/2]

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

static

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

newBuilderForType() [1/2]

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

(

)

Definition at line 225 of file BooleanAssignment.java.

newBuilderForType() [2/2]

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

protected

Definition at line 239 of file BooleanAssignment.java.

newInstance()

java.lang.Object com.google.ortools.sat.BooleanAssignment.newInstance ( UnusedPrivateParameter unused )

protected

Definition at line 33 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 197 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 203 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 174 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 178 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 163 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 168 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 210 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 216 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 184 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 189 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 152 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 157 of file BooleanAssignment.java.

parser()

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

static

Definition at line 571 of file BooleanAssignment.java.

toBuilder()

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

(

)

Definition at line 233 of file BooleanAssignment.java.

writeTo()

void com.google.ortools.sat.BooleanAssignment.writeTo

(

com.google.protobuf.CodedOutputStream

output

)

throws java.io.IOException

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

PARSER

final com.google.protobuf.Parser<BooleanAssignment> com.google.ortools.sat.BooleanAssignment.PARSER

static

Initial value:

= new com.google.protobuf.AbstractParser<BooleanAssignment>() {
    @java.lang.Override
    public BooleanAssignment parsePartialFrom(
        com.google.protobuf.CodedInputStream input,
        com.google.protobuf.ExtensionRegistryLite extensionRegistry)
        throws com.google.protobuf.InvalidProtocolBufferException {
      Builder builder = newBuilder();
      try {
        builder.mergeFrom(input, extensionRegistry);
      } catch (com.google.protobuf.InvalidProtocolBufferException e) {
        throw e.setUnfinishedMessage(builder.buildPartial());
      } catch (com.google.protobuf.UninitializedMessageException e) {
        throw e.asInvalidProtocolBufferException().setUnfinishedMessage(builder.buildPartial());
      } catch (java.io.IOException e) {
        throw new com.google.protobuf.InvalidProtocolBufferException(e)
            .setUnfinishedMessage(builder.buildPartial());
      }
      return builder.buildPartial();
    }
  }

Definition at line 550 of file BooleanAssignment.java.

---

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

• build/java/ortools-java/src/main/java/com/google/ortools/sat/BooleanAssignment.java