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

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 258 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 475 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 462 of file BooleanAssignment.java.

build()

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

(

)

Definition at line 305 of file BooleanAssignment.java.

buildPartial()

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

(

)

Definition at line 314 of file BooleanAssignment.java.

clear()

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

(

)

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

getDefaultInstanceForType()

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

(

)

Definition at line 300 of file BooleanAssignment.java.

getDescriptor()

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

static

Definition at line 263 of file BooleanAssignment.java.

getDescriptorForType()

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

(

)

Definition at line 295 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 439 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 431 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 423 of file BooleanAssignment.java.

internalGetFieldAccessorTable()

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

protected

Definition at line 269 of file BooleanAssignment.java.

isInitialized()

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

(

)

Definition at line 358 of file BooleanAssignment.java.

mergeFrom() [1/3]

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

(

com.google.ortools.sat.BooleanAssignment

other

)

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

mergeFrom() [3/3]

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

(

com.google.protobuf.Message

other

)

Definition at line 330 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 448 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