com.google.ortools.sat.BooleanAssignment.Builder Class Reference

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

Public Member Functions
Builder	clear ()
com.google.protobuf.Descriptors.Descriptor	getDescriptorForType ()
com.google.ortools.sat.BooleanAssignment	getDefaultInstanceForType ()
com.google.ortools.sat.BooleanAssignment	build ()
com.google.ortools.sat.BooleanAssignment	buildPartial ()
Builder	clone ()
Builder	setField (com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
Builder	clearField (com.google.protobuf.Descriptors.FieldDescriptor field)
Builder	clearOneof (com.google.protobuf.Descriptors.OneofDescriptor oneof)
Builder	setRepeatedField (com.google.protobuf.Descriptors.FieldDescriptor field, int index, java.lang.Object value)
Builder	addRepeatedField (com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
Builder	mergeFrom (com.google.protobuf.Message other)
Builder	mergeFrom (com.google.ortools.sat.BooleanAssignment other)
final boolean	isInitialized ()
Builder	mergeFrom (com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
java.util.List< java.lang.Integer >	getLiteralsList ()
int	getLiteralsCount ()
int	getLiterals (int index)
Builder	setLiterals (int index, int value)
Builder	addLiterals (int value)
Builder	addAllLiterals (java.lang.Iterable<? extends java.lang.Integer > values)
Builder	clearLiterals ()
final Builder	setUnknownFields (final com.google.protobuf.UnknownFieldSet unknownFields)
final Builder	mergeUnknownFields (final com.google.protobuf.UnknownFieldSet unknownFields)

Static Public Member Functions
static final com.google.protobuf.Descriptors.Descriptor	getDescriptor ()

Protected Member Functions
com.google.protobuf.GeneratedMessageV3.FieldAccessorTable	internalGetFieldAccessorTable ()

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

Member Function Documentation

addAllLiterals()

Builder com.google.ortools.sat.BooleanAssignment.Builder.addAllLiterals

(

java.lang.Iterable<? extends java.lang.Integer >

values

)

repeated int32 literals = 1;

Parameters

values

The literals to add.

Returns

This builder for chaining.

Definition at line 504 of file BooleanAssignment.java.

addLiterals()

Builder com.google.ortools.sat.BooleanAssignment.Builder.addLiterals

(

int

value

)

repeated int32 literals = 1;

Parameters

value

The literals to add.

Returns

This builder for chaining.

Definition at line 491 of file BooleanAssignment.java.

addRepeatedField()

Builder com.google.ortools.sat.BooleanAssignment.Builder.addRepeatedField	(	com.google.protobuf.Descriptors.FieldDescriptor	field,
		java.lang.Object	value )

Definition at line 353 of file BooleanAssignment.java.

build()

com.google.ortools.sat.BooleanAssignment com.google.ortools.sat.BooleanAssignment.Builder.build

(

)

Definition at line 302 of file BooleanAssignment.java.

buildPartial()

com.google.ortools.sat.BooleanAssignment com.google.ortools.sat.BooleanAssignment.Builder.buildPartial

(

)

Definition at line 311 of file BooleanAssignment.java.

clear()

Builder com.google.ortools.sat.BooleanAssignment.Builder.clear

(

)

Definition at line 283 of file BooleanAssignment.java.

clearField()

Builder com.google.ortools.sat.BooleanAssignment.Builder.clearField

(

com.google.protobuf.Descriptors.FieldDescriptor

field

)

Definition at line 337 of file BooleanAssignment.java.

clearLiterals()

Builder com.google.ortools.sat.BooleanAssignment.Builder.clearLiterals

(

)

repeated int32 literals = 1;

Returns

This builder for chaining.

Definition at line 517 of file BooleanAssignment.java.

clearOneof()

Builder com.google.ortools.sat.BooleanAssignment.Builder.clearOneof

(

com.google.protobuf.Descriptors.OneofDescriptor

oneof

)

Definition at line 342 of file BooleanAssignment.java.

clone()

Builder com.google.ortools.sat.BooleanAssignment.Builder.clone

(

)

Definition at line 327 of file BooleanAssignment.java.

getDefaultInstanceForType()

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

(

)

Definition at line 297 of file BooleanAssignment.java.

getDescriptor()

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

static

Definition at line 260 of file BooleanAssignment.java.

getDescriptorForType()

com.google.protobuf.Descriptors.Descriptor com.google.ortools.sat.BooleanAssignment.Builder.getDescriptorForType

(

)

Definition at line 292 of file BooleanAssignment.java.

getLiterals()

int com.google.ortools.sat.BooleanAssignment.Builder.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 468 of file BooleanAssignment.java.

getLiteralsCount()

int com.google.ortools.sat.BooleanAssignment.Builder.getLiteralsCount

(

)

repeated int32 literals = 1;

Returns

The count of literals.

Implements com.google.ortools.sat.BooleanAssignmentOrBuilder.

Definition at line 460 of file BooleanAssignment.java.

getLiteralsList()

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

(

)

repeated int32 literals = 1;

Returns

A list containing the literals.

Implements com.google.ortools.sat.BooleanAssignmentOrBuilder.

Definition at line 452 of file BooleanAssignment.java.

internalGetFieldAccessorTable()

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

protected

Definition at line 266 of file BooleanAssignment.java.

isInitialized()

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

(

)

Definition at line 387 of file BooleanAssignment.java.

mergeFrom() [1/3]

Builder com.google.ortools.sat.BooleanAssignment.Builder.mergeFrom

(

com.google.ortools.sat.BooleanAssignment

other

)

Definition at line 368 of file BooleanAssignment.java.

mergeFrom() [2/3]

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

Definition at line 392 of file BooleanAssignment.java.

mergeFrom() [3/3]

Builder com.google.ortools.sat.BooleanAssignment.Builder.mergeFrom

(

com.google.protobuf.Message

other

)

Definition at line 359 of file BooleanAssignment.java.

mergeUnknownFields()

final Builder com.google.ortools.sat.BooleanAssignment.Builder.mergeUnknownFields

(

final com.google.protobuf.UnknownFieldSet

unknownFields

)

Definition at line 530 of file BooleanAssignment.java.

setField()

Builder com.google.ortools.sat.BooleanAssignment.Builder.setField	(	com.google.protobuf.Descriptors.FieldDescriptor	field,
		java.lang.Object	value )

Definition at line 331 of file BooleanAssignment.java.

setLiterals()

Builder com.google.ortools.sat.BooleanAssignment.Builder.setLiterals	(	int	index,
		int	value )

repeated int32 literals = 1;

Parameters

index	The index to set the value at.
value	The literals to set.

Returns

This builder for chaining.

Definition at line 477 of file BooleanAssignment.java.

setRepeatedField()

Builder com.google.ortools.sat.BooleanAssignment.Builder.setRepeatedField	(	com.google.protobuf.Descriptors.FieldDescriptor	field,
		int	index,
		java.lang.Object	value )

Definition at line 347 of file BooleanAssignment.java.

setUnknownFields()

final Builder com.google.ortools.sat.BooleanAssignment.Builder.setUnknownFields

(

final com.google.protobuf.UnknownFieldSet

unknownFields

)

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