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 ()
Public Member Functions inherited from com.google.ortools.sat.BooleanAssignmentOrBuilder

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

Member Function Documentation

equals()

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

(

final java.lang.Object

obj

)

Definition at line 123 of file BooleanAssignment.java.

getDefaultInstance()

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

static

Definition at line 503 of file BooleanAssignment.java.

getDefaultInstanceForType()

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

(

)

Definition at line 539 of file BooleanAssignment.java.

getDescriptor()

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

static

Definition at line 41 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 78 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 70 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 63 of file BooleanAssignment.java.

getParserForType()

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

(

)

Definition at line 534 of file BooleanAssignment.java.

getSerializedSize()

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

(

)

Definition at line 103 of file BooleanAssignment.java.

hashCode()

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

(

)

Definition at line 139 of file BooleanAssignment.java.

internalGetFieldAccessorTable()

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

protected

Definition at line 47 of file BooleanAssignment.java.

isInitialized()

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

(

)

Definition at line 84 of file BooleanAssignment.java.

newBuilder() [1/2]

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

static

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

newBuilderForType() [1/2]

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

(

)

Definition at line 227 of file BooleanAssignment.java.

newBuilderForType() [2/2]

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

protected

Definition at line 241 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 199 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 205 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 176 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 180 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 165 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 170 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 212 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 218 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 186 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 191 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 154 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 159 of file BooleanAssignment.java.

parser()

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

static

Definition at line 529 of file BooleanAssignment.java.

toBuilder()

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

(

)

Definition at line 235 of file BooleanAssignment.java.

writeTo()

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

(

com.google.protobuf.CodedOutputStream

output

)

throws java.io.IOException

Definition at line 94 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 53 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