Class Lrat.LratInferredClause.RatInfo.Builder

java.lang.Object

com.google.protobuf.AbstractMessageLite.Builder

com.google.protobuf.AbstractMessage.Builder<Lrat.LratInferredClause.RatInfo.Builder>

com.google.protobuf.GeneratedMessage.Builder<Lrat.LratInferredClause.RatInfo.Builder>

operations_research.sat.Lrat.LratInferredClause.RatInfo.Builder

All Implemented Interfaces:

com.google.protobuf.Message.Builder, com.google.protobuf.MessageLite.Builder, com.google.protobuf.MessageLiteOrBuilder, com.google.protobuf.MessageOrBuilder, Cloneable, Lrat.LratInferredClause.RatInfoOrBuilder

Enclosing class:

Lrat.LratInferredClause.RatInfo

public static final class Lrat.LratInferredClause.RatInfo.Builder
extends com.google.protobuf.GeneratedMessage.Builder<Lrat.LratInferredClause.RatInfo.Builder>
implements Lrat.LratInferredClause.RatInfoOrBuilder

If `rat_infos` is empty, the last `unit_ids` clause must become empty after
unit propagation. If the last `unit_ids` clause does not become empty by
unit propagation, then `rat_infos` must contain all the clauses which
contain the negation of the first `literals` (called the pivot 'p') -- and
no other clauses. Moreover, for each r in `rat_infos`, all the `r.unit_ids`
clauses must become unit and eventually empty if all the literals of the
`r.resolvant_id` clause (minus ~p), plus those in `literals`, are assumed
to be false (this list must be in unit propagation order; verification
stops at the first empty clause). See LratChecker for more details.

Protobuf type operations_research.sat.LratInferredClause.RatInfo

Method Summary

Modifier and Type	Method	Description
Lrat.LratInferredClause.RatInfo.Builder	addAllUnitIds(Iterable<? extends Long> values)	repeated int64 unit_ids = 2 [packed = true];
Lrat.LratInferredClause.RatInfo.Builder	addUnitIds(long value)	repeated int64 unit_ids = 2 [packed = true];
Lrat.LratInferredClause.RatInfo	build()
Lrat.LratInferredClause.RatInfo	buildPartial()
Lrat.LratInferredClause.RatInfo.Builder	clear()
Lrat.LratInferredClause.RatInfo.Builder	clearResolvantId()	optional int64 resolvant_id = 1;
Lrat.LratInferredClause.RatInfo.Builder	clearUnitIds()	repeated int64 unit_ids = 2 [packed = true];
Lrat.LratInferredClause.RatInfo	getDefaultInstanceForType()
static final com.google.protobuf.Descriptors.Descriptor	getDescriptor()
com.google.protobuf.Descriptors.Descriptor	getDescriptorForType()
long	getResolvantId()	optional int64 resolvant_id = 1;
long	getUnitIds(int index)	repeated int64 unit_ids = 2 [packed = true];
int	getUnitIdsCount()	repeated int64 unit_ids = 2 [packed = true];
List<Long>	getUnitIdsList()	repeated int64 unit_ids = 2 [packed = true];
boolean	hasResolvantId()	optional int64 resolvant_id = 1;
protected com.google.protobuf.GeneratedMessage.FieldAccessorTable	internalGetFieldAccessorTable()
final boolean	isInitialized()
Lrat.LratInferredClause.RatInfo.Builder	mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Lrat.LratInferredClause.RatInfo.Builder	mergeFrom(com.google.protobuf.Message other)
Lrat.LratInferredClause.RatInfo.Builder	mergeFrom(Lrat.LratInferredClause.RatInfo other)
Lrat.LratInferredClause.RatInfo.Builder	setResolvantId(long value)	optional int64 resolvant_id = 1;
Lrat.LratInferredClause.RatInfo.Builder	setUnitIds(int index, long value)	repeated int64 unit_ids = 2 [packed = true];

Methods inherited from class com.google.protobuf.GeneratedMessage.Builder

addRepeatedField, clearField, clearOneof, clone, getAllFields, getField, getFieldBuilder, getOneofFieldDescriptor, getParentForChildren, getRepeatedField, getRepeatedFieldBuilder, getRepeatedFieldCount, getUnknownFields, getUnknownFieldSetBuilder, hasField, hasOneof, internalGetMapField, internalGetMapFieldReflection, internalGetMutableMapField, internalGetMutableMapFieldReflection, isClean, markClean, mergeUnknownFields, mergeUnknownLengthDelimitedField, mergeUnknownVarintField, newBuilderForField, onBuilt, onChanged, parseUnknownField, setField, setRepeatedField, setUnknownFields, setUnknownFieldSetBuilder, setUnknownFieldsProto3

Methods inherited from class com.google.protobuf.AbstractMessage.Builder

findInitializationErrors, getInitializationErrorString, internalMergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, newUninitializedMessageException, toString

Methods inherited from class com.google.protobuf.AbstractMessageLite.Builder

addAll, addAll, mergeDelimitedFrom, mergeDelimitedFrom, mergeFrom, newUninitializedMessageException

Methods inherited from class Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface com.google.protobuf.Message.Builder

mergeDelimitedFrom, mergeDelimitedFrom

Methods inherited from interface com.google.protobuf.MessageLite.Builder

mergeFrom

Methods inherited from interface com.google.protobuf.MessageOrBuilder

findInitializationErrors, getAllFields, getField, getInitializationErrorString, getOneofFieldDescriptor, getRepeatedField, getRepeatedFieldCount, getUnknownFields, hasField, hasOneof

Method Details

getDescriptor

public static final com.google.protobuf.Descriptors.Descriptor getDescriptor()

internalGetFieldAccessorTable

protected com.google.protobuf.GeneratedMessage.FieldAccessorTable internalGetFieldAccessorTable()

Specified by:

internalGetFieldAccessorTable in class com.google.protobuf.GeneratedMessage.Builder<Lrat.LratInferredClause.RatInfo.Builder>

clear

public Lrat.LratInferredClause.RatInfo.Builder clear()

Specified by:

clear in interface com.google.protobuf.Message.Builder

Specified by:

clear in interface com.google.protobuf.MessageLite.Builder

Overrides:

clear in class com.google.protobuf.GeneratedMessage.Builder<Lrat.LratInferredClause.RatInfo.Builder>

getDescriptorForType

public com.google.protobuf.Descriptors.Descriptor getDescriptorForType()

Specified by:

getDescriptorForType in interface com.google.protobuf.Message.Builder

Specified by:

getDescriptorForType in interface com.google.protobuf.MessageOrBuilder

Overrides:

getDescriptorForType in class com.google.protobuf.GeneratedMessage.Builder<Lrat.LratInferredClause.RatInfo.Builder>

getDefaultInstanceForType

public Lrat.LratInferredClause.RatInfo getDefaultInstanceForType()

Specified by:

getDefaultInstanceForType in interface com.google.protobuf.MessageLiteOrBuilder

Specified by:

getDefaultInstanceForType in interface com.google.protobuf.MessageOrBuilder

build

public Lrat.LratInferredClause.RatInfo build()

Specified by:

build in interface com.google.protobuf.Message.Builder

Specified by:

build in interface com.google.protobuf.MessageLite.Builder

buildPartial

public Lrat.LratInferredClause.RatInfo buildPartial()

Specified by:

buildPartial in interface com.google.protobuf.Message.Builder

Specified by:

buildPartial in interface com.google.protobuf.MessageLite.Builder

mergeFrom

public Lrat.LratInferredClause.RatInfo.Builder mergeFrom(com.google.protobuf.Message other)

Specified by:

mergeFrom in interface com.google.protobuf.Message.Builder

Overrides:

mergeFrom in class com.google.protobuf.AbstractMessage.Builder<Lrat.LratInferredClause.RatInfo.Builder>

mergeFrom

public Lrat.LratInferredClause.RatInfo.Builder mergeFrom(Lrat.LratInferredClause.RatInfo other)

isInitialized

public final boolean isInitialized()

Specified by:

isInitialized in interface com.google.protobuf.MessageLiteOrBuilder

Overrides:

isInitialized in class com.google.protobuf.GeneratedMessage.Builder<Lrat.LratInferredClause.RatInfo.Builder>

mergeFrom

public Lrat.LratInferredClause.RatInfo.Builder mergeFrom(com.google.protobuf.CodedInputStream input,
 com.google.protobuf.ExtensionRegistryLite extensionRegistry)
                                                  throws IOException

Specified by:

mergeFrom in interface com.google.protobuf.Message.Builder

Specified by:

mergeFrom in interface com.google.protobuf.MessageLite.Builder

Overrides:

mergeFrom in class com.google.protobuf.AbstractMessage.Builder<Lrat.LratInferredClause.RatInfo.Builder>

Throws:

IOException

hasResolvantId

public boolean hasResolvantId()

optional int64 resolvant_id = 1;

Specified by:

hasResolvantId in interface Lrat.LratInferredClause.RatInfoOrBuilder

Returns:

Whether the resolvantId field is set.

getResolvantId

public long getResolvantId()

optional int64 resolvant_id = 1;

Specified by:

getResolvantId in interface Lrat.LratInferredClause.RatInfoOrBuilder

Returns:

The resolvantId.

setResolvantId

public Lrat.LratInferredClause.RatInfo.Builder setResolvantId(long value)

optional int64 resolvant_id = 1;

Parameters:

value - The resolvantId to set.

Returns:

This builder for chaining.

clearResolvantId

public Lrat.LratInferredClause.RatInfo.Builder clearResolvantId()

optional int64 resolvant_id = 1;

Returns:

This builder for chaining.

getUnitIdsList

public List<Long> getUnitIdsList()

repeated int64 unit_ids = 2 [packed = true];

Specified by:

getUnitIdsList in interface Lrat.LratInferredClause.RatInfoOrBuilder

Returns:

A list containing the unitIds.

getUnitIdsCount

public int getUnitIdsCount()

repeated int64 unit_ids = 2 [packed = true];

Specified by:

getUnitIdsCount in interface Lrat.LratInferredClause.RatInfoOrBuilder

Returns:

The count of unitIds.

getUnitIds

public long getUnitIds(int index)

repeated int64 unit_ids = 2 [packed = true];

Specified by:

getUnitIds in interface Lrat.LratInferredClause.RatInfoOrBuilder

Parameters:

index - The index of the element to return.

Returns:

The unitIds at the given index.

setUnitIds

public Lrat.LratInferredClause.RatInfo.Builder setUnitIds(int index,
 long value)

repeated int64 unit_ids = 2 [packed = true];

Parameters:

index - The index to set the value at.

value - The unitIds to set.

Returns:

This builder for chaining.

addUnitIds

public Lrat.LratInferredClause.RatInfo.Builder addUnitIds(long value)

repeated int64 unit_ids = 2 [packed = true];

Parameters:

value - The unitIds to add.

Returns:

This builder for chaining.

addAllUnitIds

public Lrat.LratInferredClause.RatInfo.Builder addAllUnitIds(Iterable<? extends Long> values)

repeated int64 unit_ids = 2 [packed = true];

Parameters:

values - The unitIds to add.

Returns:

This builder for chaining.

clearUnitIds

public Lrat.LratInferredClause.RatInfo.Builder clearUnitIds()

repeated int64 unit_ids = 2 [packed = true];

Returns:

This builder for chaining.