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

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	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 ()

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

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

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

build()

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

(

)

Definition at line 306 of file BooleanAssignment.java.

buildPartial()

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

(

)

Definition at line 315 of file BooleanAssignment.java.

clear()

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

(

)

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

getDefaultInstanceForType()

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

(

)

Definition at line 301 of file BooleanAssignment.java.

getDescriptor()

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

static

Definition at line 264 of file BooleanAssignment.java.

getDescriptorForType()

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

(

)

Definition at line 296 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 440 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 432 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 424 of file BooleanAssignment.java.

internalGetFieldAccessorTable()

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

protected

Definition at line 270 of file BooleanAssignment.java.

isInitialized()

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

(

)

Definition at line 359 of file BooleanAssignment.java.

mergeFrom() [1/3]

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

(

com.google.ortools.sat.BooleanAssignment

other

)

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

mergeFrom() [3/3]

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

(

com.google.protobuf.Message

other

)

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 449 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