operations_research.sat.Lrat.LratInferredClause.Builder Class Reference

Detailed Description

An LRAT inferred clause.

Protobuf type operations_research.sat.LratInferredClause

Definition at line 1982 of file Lrat.java.

Inheritance diagram for operations_research.sat.Lrat.LratInferredClause.Builder:

Public Member Functions
Builder	clear ()
com.google.protobuf.Descriptors.Descriptor	getDescriptorForType ()
operations_research.sat.Lrat.LratInferredClause	getDefaultInstanceForType ()
operations_research.sat.Lrat.LratInferredClause	build ()
operations_research.sat.Lrat.LratInferredClause	buildPartial ()
Builder	mergeFrom (com.google.protobuf.Message other)
Builder	mergeFrom (operations_research.sat.Lrat.LratInferredClause other)
final boolean	isInitialized ()
Builder	mergeFrom (com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
boolean	hasClauseId ()
long	getClauseId ()
Builder	setClauseId (long value)
Builder	clearClauseId ()
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 ()
java.util.List< java.lang.Long >	getUnitIdsList ()
int	getUnitIdsCount ()
long	getUnitIds (int index)
Builder	setUnitIds (int index, long value)
Builder	addUnitIds (long value)
Builder	addAllUnitIds (java.lang.Iterable<? extends java.lang.Long > values)
Builder	clearUnitIds ()
java.util.List< operations_research.sat.Lrat.LratInferredClause.RatInfo >	getRatInfosList ()
int	getRatInfosCount ()
operations_research.sat.Lrat.LratInferredClause.RatInfo	getRatInfos (int index)
Builder	setRatInfos (int index, operations_research.sat.Lrat.LratInferredClause.RatInfo value)
Builder	setRatInfos (int index, operations_research.sat.Lrat.LratInferredClause.RatInfo.Builder builderForValue)
Builder	addRatInfos (operations_research.sat.Lrat.LratInferredClause.RatInfo value)
Builder	addRatInfos (int index, operations_research.sat.Lrat.LratInferredClause.RatInfo value)
Builder	addRatInfos (operations_research.sat.Lrat.LratInferredClause.RatInfo.Builder builderForValue)
Builder	addRatInfos (int index, operations_research.sat.Lrat.LratInferredClause.RatInfo.Builder builderForValue)
Builder	addAllRatInfos (java.lang.Iterable<? extends operations_research.sat.Lrat.LratInferredClause.RatInfo > values)
Builder	clearRatInfos ()
Builder	removeRatInfos (int index)
operations_research.sat.Lrat.LratInferredClause.RatInfo.Builder	getRatInfosBuilder (int index)
operations_research.sat.Lrat.LratInferredClause.RatInfoOrBuilder	getRatInfosOrBuilder (int index)
java.util.List<? extends operations_research.sat.Lrat.LratInferredClause.RatInfoOrBuilder >	getRatInfosOrBuilderList ()
operations_research.sat.Lrat.LratInferredClause.RatInfo.Builder	addRatInfosBuilder ()
operations_research.sat.Lrat.LratInferredClause.RatInfo.Builder	addRatInfosBuilder (int index)
java.util.List< operations_research.sat.Lrat.LratInferredClause.RatInfo.Builder >	getRatInfosBuilderList ()
boolean	hasExported ()
boolean	getExported ()
Builder	setExported (boolean value)
Builder	clearExported ()

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 operations_research.sat.Lrat.LratInferredClause.Builder.addAllLiterals

(

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

values

)

Literals are represented with LiteralIndex values.

repeated int32 literals = 2 [packed = true];

Parameters

values

The literals to add.

Returns

This builder for chaining.

Definition at line 2382 of file Lrat.java.

addAllRatInfos()

Builder operations_research.sat.Lrat.LratInferredClause.Builder.addAllRatInfos

(

java.lang.Iterable<? extends operations_research.sat.Lrat.LratInferredClause.RatInfo >

values

)

repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;

Definition at line 2669 of file Lrat.java.

addAllUnitIds()

Builder operations_research.sat.Lrat.LratInferredClause.Builder.addAllUnitIds

(

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

values

)

Clauses which become unit and possibly empty if all the `literals` are
assumed to be false (verification stops at the first empty clause). This
list must be in unit propagation order. See LratChecker for more details.

repeated int64 unit_ids = 3 [packed = true];

Parameters

values

The unitIds to add.

Returns

This builder for chaining.

Definition at line 2506 of file Lrat.java.

addLiterals()

Builder operations_research.sat.Lrat.LratInferredClause.Builder.addLiterals

(

int

value

)

Literals are represented with LiteralIndex values.

repeated int32 literals = 2 [packed = true];

Parameters

value

The literals to add.

Returns

This builder for chaining.

Definition at line 2365 of file Lrat.java.

addRatInfos() [1/4]

Builder operations_research.sat.Lrat.LratInferredClause.Builder.addRatInfos	(	int	index,
		operations_research.sat.Lrat.LratInferredClause.RatInfo	value )

repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;

Definition at line 2624 of file Lrat.java.

addRatInfos() [2/4]

Builder operations_research.sat.Lrat.LratInferredClause.Builder.addRatInfos	(	int	index,
		operations_research.sat.Lrat.LratInferredClause.RatInfo.Builder	builderForValue )

repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;

Definition at line 2655 of file Lrat.java.

addRatInfos() [3/4]

Builder operations_research.sat.Lrat.LratInferredClause.Builder.addRatInfos

(

operations_research.sat.Lrat.LratInferredClause.RatInfo

value

)

repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;

Definition at line 2608 of file Lrat.java.

addRatInfos() [4/4]

Builder operations_research.sat.Lrat.LratInferredClause.Builder.addRatInfos

(

operations_research.sat.Lrat.LratInferredClause.RatInfo.Builder

builderForValue

)

repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;

Definition at line 2641 of file Lrat.java.

addRatInfosBuilder() [1/2]

operations_research.sat.Lrat.LratInferredClause.RatInfo.Builder operations_research.sat.Lrat.LratInferredClause.Builder.addRatInfosBuilder

(

)

repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;

Definition at line 2738 of file Lrat.java.

addRatInfosBuilder() [2/2]

operations_research.sat.Lrat.LratInferredClause.RatInfo.Builder operations_research.sat.Lrat.LratInferredClause.Builder.addRatInfosBuilder

(

int

index

)

repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;

Definition at line 2745 of file Lrat.java.

addUnitIds()

Builder operations_research.sat.Lrat.LratInferredClause.Builder.addUnitIds

(

long

value

)

Clauses which become unit and possibly empty if all the `literals` are
assumed to be false (verification stops at the first empty clause). This
list must be in unit propagation order. See LratChecker for more details.

repeated int64 unit_ids = 3 [packed = true];

Parameters

value

The unitIds to add.

Returns

This builder for chaining.

Definition at line 2487 of file Lrat.java.

build()

operations_research.sat.Lrat.LratInferredClause operations_research.sat.Lrat.LratInferredClause.Builder.build

(

)

Definition at line 2039 of file Lrat.java.

buildPartial()

operations_research.sat.Lrat.LratInferredClause operations_research.sat.Lrat.LratInferredClause.Builder.buildPartial

(

)

Definition at line 2048 of file Lrat.java.

clear()

Builder operations_research.sat.Lrat.LratInferredClause.Builder.clear

(

)

Definition at line 2010 of file Lrat.java.

clearClauseId()

Builder operations_research.sat.Lrat.LratInferredClause.Builder.clearClauseId

(

)

optional int64 clause_id = 1;

Returns

This builder for chaining.

Definition at line 2287 of file Lrat.java.

clearExported()

Builder operations_research.sat.Lrat.LratInferredClause.Builder.clearExported

(

)

Whether the clause must be exported, so that other workers can import it (a
clause cannot be imported if it is not previously exported). This is not
needed for unary and binary clauses, which are always exported.

optional bool exported = 5;

Returns

This builder for chaining.

Definition at line 2829 of file Lrat.java.

clearLiterals()

Builder operations_research.sat.Lrat.LratInferredClause.Builder.clearLiterals

(

)

Literals are represented with LiteralIndex values.

repeated int32 literals = 2 [packed = true];

Returns

This builder for chaining.

Definition at line 2399 of file Lrat.java.

clearRatInfos()

Builder operations_research.sat.Lrat.LratInferredClause.Builder.clearRatInfos

(

)

repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;

Definition at line 2684 of file Lrat.java.

clearUnitIds()

Builder operations_research.sat.Lrat.LratInferredClause.Builder.clearUnitIds

(

)

Clauses which become unit and possibly empty if all the `literals` are
assumed to be false (verification stops at the first empty clause). This
list must be in unit propagation order. See LratChecker for more details.

repeated int64 unit_ids = 3 [packed = true];

Returns

This builder for chaining.

Definition at line 2525 of file Lrat.java.

getClauseId()

long operations_research.sat.Lrat.LratInferredClause.Builder.getClauseId

(

)

optional int64 clause_id = 1;

Returns

The clauseId.

Implements operations_research.sat.Lrat.LratInferredClauseOrBuilder.

Definition at line 2268 of file Lrat.java.

getDefaultInstanceForType()

operations_research.sat.Lrat.LratInferredClause operations_research.sat.Lrat.LratInferredClause.Builder.getDefaultInstanceForType

(

)

Definition at line 2034 of file Lrat.java.

getDescriptor()

final com.google.protobuf.Descriptors.Descriptor operations_research.sat.Lrat.LratInferredClause.Builder.getDescriptor ( )

static

Definition at line 1987 of file Lrat.java.

getDescriptorForType()

com.google.protobuf.Descriptors.Descriptor operations_research.sat.Lrat.LratInferredClause.Builder.getDescriptorForType

(

)

Definition at line 2029 of file Lrat.java.

getExported()

boolean operations_research.sat.Lrat.LratInferredClause.Builder.getExported

(

)

Whether the clause must be exported, so that other workers can import it (a
clause cannot be imported if it is not previously exported). This is not
needed for unary and binary clauses, which are always exported.

optional bool exported = 5;

Returns

The exported.

Implements operations_research.sat.Lrat.LratInferredClauseOrBuilder.

Definition at line 2798 of file Lrat.java.

getLiterals()

int operations_research.sat.Lrat.LratInferredClause.Builder.getLiterals

(

int

index

)

Literals are represented with LiteralIndex values.

repeated int32 literals = 2 [packed = true];

Parameters

index

The index of the element to return.

Returns

The literals at the given index.

Implements operations_research.sat.Lrat.LratInferredClauseOrBuilder.

Definition at line 2334 of file Lrat.java.

getLiteralsCount()

int operations_research.sat.Lrat.LratInferredClause.Builder.getLiteralsCount

(

)

Literals are represented with LiteralIndex values.

repeated int32 literals = 2 [packed = true];

Returns

The count of literals.

Implements operations_research.sat.Lrat.LratInferredClauseOrBuilder.

Definition at line 2322 of file Lrat.java.

getLiteralsList()

java.util.List< java.lang.Integer > operations_research.sat.Lrat.LratInferredClause.Builder.getLiteralsList

(

)

Literals are represented with LiteralIndex values.

repeated int32 literals = 2 [packed = true];

Returns

A list containing the literals.

Implements operations_research.sat.Lrat.LratInferredClauseOrBuilder.

Definition at line 2310 of file Lrat.java.

getRatInfos()

operations_research.sat.Lrat.LratInferredClause.RatInfo operations_research.sat.Lrat.LratInferredClause.Builder.getRatInfos

(

int

index

)

repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;

Implements operations_research.sat.Lrat.LratInferredClauseOrBuilder.

Definition at line 2567 of file Lrat.java.

getRatInfosBuilder()

operations_research.sat.Lrat.LratInferredClause.RatInfo.Builder operations_research.sat.Lrat.LratInferredClause.Builder.getRatInfosBuilder

(

int

index

)

repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;

Definition at line 2710 of file Lrat.java.

getRatInfosBuilderList()

java.util.List< operations_research.sat.Lrat.LratInferredClause.RatInfo.Builder > operations_research.sat.Lrat.LratInferredClause.Builder.getRatInfosBuilderList

(

)

repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;

Definition at line 2754 of file Lrat.java.

getRatInfosCount()

int operations_research.sat.Lrat.LratInferredClause.Builder.getRatInfosCount

(

)

repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;

Implements operations_research.sat.Lrat.LratInferredClauseOrBuilder.

Definition at line 2557 of file Lrat.java.

getRatInfosList()

java.util.List< operations_research.sat.Lrat.LratInferredClause.RatInfo > operations_research.sat.Lrat.LratInferredClause.Builder.getRatInfosList

(

)

repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;

Implements operations_research.sat.Lrat.LratInferredClauseOrBuilder.

Definition at line 2547 of file Lrat.java.

getRatInfosOrBuilder()

operations_research.sat.Lrat.LratInferredClause.RatInfoOrBuilder operations_research.sat.Lrat.LratInferredClause.Builder.getRatInfosOrBuilder

(

int

index

)

repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;

Implements operations_research.sat.Lrat.LratInferredClauseOrBuilder.

Definition at line 2717 of file Lrat.java.

getRatInfosOrBuilderList()

java.util.List<? extends operations_research.sat.Lrat.LratInferredClause.RatInfoOrBuilder > operations_research.sat.Lrat.LratInferredClause.Builder.getRatInfosOrBuilderList

(

)

repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;

Implements operations_research.sat.Lrat.LratInferredClauseOrBuilder.

Definition at line 2728 of file Lrat.java.

getUnitIds()

long operations_research.sat.Lrat.LratInferredClause.Builder.getUnitIds

(

int

index

)

Clauses which become unit and possibly empty if all the `literals` are
assumed to be false (verification stops at the first empty clause). This
list must be in unit propagation order. See LratChecker for more details.

repeated int64 unit_ids = 3 [packed = true];

Parameters

index

The index of the element to return.

Returns

The unitIds at the given index.

Implements operations_research.sat.Lrat.LratInferredClauseOrBuilder.

Definition at line 2452 of file Lrat.java.

getUnitIdsCount()

int operations_research.sat.Lrat.LratInferredClause.Builder.getUnitIdsCount

(

)

Clauses which become unit and possibly empty if all the `literals` are
assumed to be false (verification stops at the first empty clause). This
list must be in unit propagation order. See LratChecker for more details.

repeated int64 unit_ids = 3 [packed = true];

Returns

The count of unitIds.

Implements operations_research.sat.Lrat.LratInferredClauseOrBuilder.

Definition at line 2438 of file Lrat.java.

getUnitIdsList()

java.util.List< java.lang.Long > operations_research.sat.Lrat.LratInferredClause.Builder.getUnitIdsList

(

)

Clauses which become unit and possibly empty if all the `literals` are
assumed to be false (verification stops at the first empty clause). This
list must be in unit propagation order. See LratChecker for more details.

repeated int64 unit_ids = 3 [packed = true];

Returns

A list containing the unitIds.

Implements operations_research.sat.Lrat.LratInferredClauseOrBuilder.

Definition at line 2424 of file Lrat.java.

hasClauseId()

boolean operations_research.sat.Lrat.LratInferredClause.Builder.hasClauseId

(

)

optional int64 clause_id = 1;

Returns

Whether the clauseId field is set.

Implements operations_research.sat.Lrat.LratInferredClauseOrBuilder.

Definition at line 2260 of file Lrat.java.

hasExported()

boolean operations_research.sat.Lrat.LratInferredClause.Builder.hasExported

(

)

Whether the clause must be exported, so that other workers can import it (a
clause cannot be imported if it is not previously exported). This is not
needed for unary and binary clauses, which are always exported.

optional bool exported = 5;

Returns

Whether the exported field is set.

Implements operations_research.sat.Lrat.LratInferredClauseOrBuilder.

Definition at line 2784 of file Lrat.java.

internalGetFieldAccessorTable()

com.google.protobuf.GeneratedMessage.FieldAccessorTable operations_research.sat.Lrat.LratInferredClause.Builder.internalGetFieldAccessorTable ( )

protected

Definition at line 1993 of file Lrat.java.

isInitialized()

final boolean operations_research.sat.Lrat.LratInferredClause.Builder.isInitialized

(

)

Definition at line 2162 of file Lrat.java.

mergeFrom() [1/3]

Builder operations_research.sat.Lrat.LratInferredClause.Builder.mergeFrom	(	com.google.protobuf.CodedInputStream	input,
		com.google.protobuf.ExtensionRegistryLite	extensionRegistry ) throws java.io.IOException

Definition at line 2167 of file Lrat.java.

mergeFrom() [2/3]

Builder operations_research.sat.Lrat.LratInferredClause.Builder.mergeFrom

(

com.google.protobuf.Message

other

)

Definition at line 2091 of file Lrat.java.

mergeFrom() [3/3]

Builder operations_research.sat.Lrat.LratInferredClause.Builder.mergeFrom

(

operations_research.sat.Lrat.LratInferredClause

other

)

Definition at line 2100 of file Lrat.java.

removeRatInfos()

Builder operations_research.sat.Lrat.LratInferredClause.Builder.removeRatInfos

(

int

index

)

repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;

Definition at line 2697 of file Lrat.java.

setClauseId()

Builder operations_research.sat.Lrat.LratInferredClause.Builder.setClauseId

(

long

value

)

optional int64 clause_id = 1;

Parameters

value

The clauseId to set.

Returns

This builder for chaining.

Definition at line 2276 of file Lrat.java.

setExported()

Builder operations_research.sat.Lrat.LratInferredClause.Builder.setExported

(

boolean

value

)

Whether the clause must be exported, so that other workers can import it (a
clause cannot be imported if it is not previously exported). This is not
needed for unary and binary clauses, which are always exported.

optional bool exported = 5;

Parameters

value

The exported to set.

Returns

This builder for chaining.

Definition at line 2812 of file Lrat.java.

setLiterals()

Builder operations_research.sat.Lrat.LratInferredClause.Builder.setLiterals	(	int	index,
		int	value )

Literals are represented with LiteralIndex values.

repeated int32 literals = 2 [packed = true];

Parameters

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

Returns

This builder for chaining.

Definition at line 2347 of file Lrat.java.

setRatInfos() [1/2]

Builder operations_research.sat.Lrat.LratInferredClause.Builder.setRatInfos	(	int	index,
		operations_research.sat.Lrat.LratInferredClause.RatInfo	value )

repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;

Definition at line 2577 of file Lrat.java.

setRatInfos() [2/2]

Builder operations_research.sat.Lrat.LratInferredClause.Builder.setRatInfos	(	int	index,
		operations_research.sat.Lrat.LratInferredClause.RatInfo.Builder	builderForValue )

repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;

Definition at line 2594 of file Lrat.java.

setUnitIds()

Builder operations_research.sat.Lrat.LratInferredClause.Builder.setUnitIds	(	int	index,
		long	value )

Clauses which become unit and possibly empty if all the `literals` are
assumed to be false (verification stops at the first empty clause). This
list must be in unit propagation order. See LratChecker for more details.

repeated int64 unit_ids = 3 [packed = true];

Parameters

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

Returns

This builder for chaining.

Definition at line 2467 of file Lrat.java.

---

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

• build/java/ortools-java/src/main/java/operations_research/sat/Lrat.java