Class Lrat.LratProofStep.Builder

java.lang.Object

com.google.protobuf.AbstractMessageLite.Builder

com.google.protobuf.AbstractMessage.Builder<Lrat.LratProofStep.Builder>

com.google.protobuf.GeneratedMessage.Builder<Lrat.LratProofStep.Builder>

operations_research.sat.Lrat.LratProofStep.Builder

All Implemented Interfaces:

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

Enclosing class:

Lrat.LratProofStep

public static final class Lrat.LratProofStep.Builder
extends com.google.protobuf.GeneratedMessage.Builder<Lrat.LratProofStep.Builder>
implements Lrat.LratProofStepOrBuilder

An LRAT UNSAT proof is a sequence of steps, starting from imported clauses
and ending with the empty clause. At each step new clauses can be inferred
from previous ones (with an explicit proof), or imported from another proof
built by another thread. A proof step can also delete clauses which are no
longer needed, or export a clause for other workers to import. Each clause is
identified by a unique clause ID.

Protobuf type operations_research.sat.LratProofStep

Method Summary

Modifier and Type	Method	Description
Lrat.LratProofStep	build()
Lrat.LratProofStep	buildPartial()
Lrat.LratProofStep.Builder	clear()
Lrat.LratProofStep.Builder	clearDeletedClauses()	.operations_research.sat.LratDeletedClauses deleted_clauses = 4;
Lrat.LratProofStep.Builder	clearExportedClause()	.operations_research.sat.LratExportedClause exported_clause = 3;
Lrat.LratProofStep.Builder	clearImportedClause()	.operations_research.sat.LratImportedClause imported_clause = 1;
Lrat.LratProofStep.Builder	clearInferredClause()	.operations_research.sat.LratInferredClause inferred_clause = 2;
Lrat.LratProofStep.Builder	clearStep()
Lrat.LratProofStep	getDefaultInstanceForType()
Lrat.LratDeletedClauses	getDeletedClauses()	.operations_research.sat.LratDeletedClauses deleted_clauses = 4;
Lrat.LratDeletedClauses.Builder	getDeletedClausesBuilder()	.operations_research.sat.LratDeletedClauses deleted_clauses = 4;
Lrat.LratDeletedClausesOrBuilder	getDeletedClausesOrBuilder()	.operations_research.sat.LratDeletedClauses deleted_clauses = 4;
static final com.google.protobuf.Descriptors.Descriptor	getDescriptor()
com.google.protobuf.Descriptors.Descriptor	getDescriptorForType()
Lrat.LratExportedClause	getExportedClause()	.operations_research.sat.LratExportedClause exported_clause = 3;
Lrat.LratExportedClause.Builder	getExportedClauseBuilder()	.operations_research.sat.LratExportedClause exported_clause = 3;
Lrat.LratExportedClauseOrBuilder	getExportedClauseOrBuilder()	.operations_research.sat.LratExportedClause exported_clause = 3;
Lrat.LratImportedClause	getImportedClause()	.operations_research.sat.LratImportedClause imported_clause = 1;
Lrat.LratImportedClause.Builder	getImportedClauseBuilder()	.operations_research.sat.LratImportedClause imported_clause = 1;
Lrat.LratImportedClauseOrBuilder	getImportedClauseOrBuilder()	.operations_research.sat.LratImportedClause imported_clause = 1;
Lrat.LratInferredClause	getInferredClause()	.operations_research.sat.LratInferredClause inferred_clause = 2;
Lrat.LratInferredClause.Builder	getInferredClauseBuilder()	.operations_research.sat.LratInferredClause inferred_clause = 2;
Lrat.LratInferredClauseOrBuilder	getInferredClauseOrBuilder()	.operations_research.sat.LratInferredClause inferred_clause = 2;
Lrat.LratProofStep.StepCase	getStepCase()
boolean	hasDeletedClauses()	.operations_research.sat.LratDeletedClauses deleted_clauses = 4;
boolean	hasExportedClause()	.operations_research.sat.LratExportedClause exported_clause = 3;
boolean	hasImportedClause()	.operations_research.sat.LratImportedClause imported_clause = 1;
boolean	hasInferredClause()	.operations_research.sat.LratInferredClause inferred_clause = 2;
protected com.google.protobuf.GeneratedMessage.FieldAccessorTable	internalGetFieldAccessorTable()
final boolean	isInitialized()
Lrat.LratProofStep.Builder	mergeDeletedClauses(Lrat.LratDeletedClauses value)	.operations_research.sat.LratDeletedClauses deleted_clauses = 4;
Lrat.LratProofStep.Builder	mergeExportedClause(Lrat.LratExportedClause value)	.operations_research.sat.LratExportedClause exported_clause = 3;
Lrat.LratProofStep.Builder	mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Lrat.LratProofStep.Builder	mergeFrom(com.google.protobuf.Message other)
Lrat.LratProofStep.Builder	mergeFrom(Lrat.LratProofStep other)
Lrat.LratProofStep.Builder	mergeImportedClause(Lrat.LratImportedClause value)	.operations_research.sat.LratImportedClause imported_clause = 1;
Lrat.LratProofStep.Builder	mergeInferredClause(Lrat.LratInferredClause value)	.operations_research.sat.LratInferredClause inferred_clause = 2;
Lrat.LratProofStep.Builder	setDeletedClauses(Lrat.LratDeletedClauses value)	.operations_research.sat.LratDeletedClauses deleted_clauses = 4;
Lrat.LratProofStep.Builder	setDeletedClauses(Lrat.LratDeletedClauses.Builder builderForValue)	.operations_research.sat.LratDeletedClauses deleted_clauses = 4;
Lrat.LratProofStep.Builder	setExportedClause(Lrat.LratExportedClause value)	.operations_research.sat.LratExportedClause exported_clause = 3;
Lrat.LratProofStep.Builder	setExportedClause(Lrat.LratExportedClause.Builder builderForValue)	.operations_research.sat.LratExportedClause exported_clause = 3;
Lrat.LratProofStep.Builder	setImportedClause(Lrat.LratImportedClause value)	.operations_research.sat.LratImportedClause imported_clause = 1;
Lrat.LratProofStep.Builder	setImportedClause(Lrat.LratImportedClause.Builder builderForValue)	.operations_research.sat.LratImportedClause imported_clause = 1;
Lrat.LratProofStep.Builder	setInferredClause(Lrat.LratInferredClause value)	.operations_research.sat.LratInferredClause inferred_clause = 2;
Lrat.LratProofStep.Builder	setInferredClause(Lrat.LratInferredClause.Builder builderForValue)	.operations_research.sat.LratInferredClause inferred_clause = 2;

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.LratProofStep.Builder>

clear

public Lrat.LratProofStep.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.LratProofStep.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.LratProofStep.Builder>

getDefaultInstanceForType

public Lrat.LratProofStep getDefaultInstanceForType()

Specified by:

getDefaultInstanceForType in interface com.google.protobuf.MessageLiteOrBuilder

Specified by:

getDefaultInstanceForType in interface com.google.protobuf.MessageOrBuilder

build

public Lrat.LratProofStep build()

Specified by:

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

Specified by:

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

buildPartial

public Lrat.LratProofStep buildPartial()

Specified by:

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

Specified by:

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

mergeFrom

public Lrat.LratProofStep.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.LratProofStep.Builder>

mergeFrom

public Lrat.LratProofStep.Builder mergeFrom(Lrat.LratProofStep 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.LratProofStep.Builder>

mergeFrom

public Lrat.LratProofStep.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.LratProofStep.Builder>

Throws:

IOException

getStepCase

public Lrat.LratProofStep.StepCase getStepCase()

Specified by:

getStepCase in interface Lrat.LratProofStepOrBuilder

clearStep

public Lrat.LratProofStep.Builder clearStep()

hasImportedClause

public boolean hasImportedClause()

.operations_research.sat.LratImportedClause imported_clause = 1;

Specified by:

hasImportedClause in interface Lrat.LratProofStepOrBuilder

Returns:

Whether the importedClause field is set.

getImportedClause

public Lrat.LratImportedClause getImportedClause()

.operations_research.sat.LratImportedClause imported_clause = 1;

Specified by:

getImportedClause in interface Lrat.LratProofStepOrBuilder

Returns:

The importedClause.

setImportedClause

public Lrat.LratProofStep.Builder setImportedClause(Lrat.LratImportedClause value)

.operations_research.sat.LratImportedClause imported_clause = 1;

setImportedClause

public Lrat.LratProofStep.Builder setImportedClause(Lrat.LratImportedClause.Builder builderForValue)

.operations_research.sat.LratImportedClause imported_clause = 1;

mergeImportedClause

public Lrat.LratProofStep.Builder mergeImportedClause(Lrat.LratImportedClause value)

.operations_research.sat.LratImportedClause imported_clause = 1;

clearImportedClause

public Lrat.LratProofStep.Builder clearImportedClause()

.operations_research.sat.LratImportedClause imported_clause = 1;

getImportedClauseBuilder

public Lrat.LratImportedClause.Builder getImportedClauseBuilder()

.operations_research.sat.LratImportedClause imported_clause = 1;

getImportedClauseOrBuilder

public Lrat.LratImportedClauseOrBuilder getImportedClauseOrBuilder()

.operations_research.sat.LratImportedClause imported_clause = 1;

Specified by:

getImportedClauseOrBuilder in interface Lrat.LratProofStepOrBuilder

hasInferredClause

public boolean hasInferredClause()

.operations_research.sat.LratInferredClause inferred_clause = 2;

Specified by:

hasInferredClause in interface Lrat.LratProofStepOrBuilder

Returns:

Whether the inferredClause field is set.

getInferredClause

public Lrat.LratInferredClause getInferredClause()

.operations_research.sat.LratInferredClause inferred_clause = 2;

Specified by:

getInferredClause in interface Lrat.LratProofStepOrBuilder

Returns:

The inferredClause.

setInferredClause

public Lrat.LratProofStep.Builder setInferredClause(Lrat.LratInferredClause value)

.operations_research.sat.LratInferredClause inferred_clause = 2;

setInferredClause

public Lrat.LratProofStep.Builder setInferredClause(Lrat.LratInferredClause.Builder builderForValue)

.operations_research.sat.LratInferredClause inferred_clause = 2;

mergeInferredClause

public Lrat.LratProofStep.Builder mergeInferredClause(Lrat.LratInferredClause value)

.operations_research.sat.LratInferredClause inferred_clause = 2;

clearInferredClause

public Lrat.LratProofStep.Builder clearInferredClause()

.operations_research.sat.LratInferredClause inferred_clause = 2;

getInferredClauseBuilder

public Lrat.LratInferredClause.Builder getInferredClauseBuilder()

.operations_research.sat.LratInferredClause inferred_clause = 2;

getInferredClauseOrBuilder

public Lrat.LratInferredClauseOrBuilder getInferredClauseOrBuilder()

.operations_research.sat.LratInferredClause inferred_clause = 2;

Specified by:

getInferredClauseOrBuilder in interface Lrat.LratProofStepOrBuilder

hasExportedClause

public boolean hasExportedClause()

.operations_research.sat.LratExportedClause exported_clause = 3;

Specified by:

hasExportedClause in interface Lrat.LratProofStepOrBuilder

Returns:

Whether the exportedClause field is set.

getExportedClause

public Lrat.LratExportedClause getExportedClause()

.operations_research.sat.LratExportedClause exported_clause = 3;

Specified by:

getExportedClause in interface Lrat.LratProofStepOrBuilder

Returns:

The exportedClause.

setExportedClause

public Lrat.LratProofStep.Builder setExportedClause(Lrat.LratExportedClause value)

.operations_research.sat.LratExportedClause exported_clause = 3;

setExportedClause

public Lrat.LratProofStep.Builder setExportedClause(Lrat.LratExportedClause.Builder builderForValue)

.operations_research.sat.LratExportedClause exported_clause = 3;

mergeExportedClause

public Lrat.LratProofStep.Builder mergeExportedClause(Lrat.LratExportedClause value)

.operations_research.sat.LratExportedClause exported_clause = 3;

clearExportedClause

public Lrat.LratProofStep.Builder clearExportedClause()

.operations_research.sat.LratExportedClause exported_clause = 3;

getExportedClauseBuilder

public Lrat.LratExportedClause.Builder getExportedClauseBuilder()

.operations_research.sat.LratExportedClause exported_clause = 3;

getExportedClauseOrBuilder

public Lrat.LratExportedClauseOrBuilder getExportedClauseOrBuilder()

.operations_research.sat.LratExportedClause exported_clause = 3;

Specified by:

getExportedClauseOrBuilder in interface Lrat.LratProofStepOrBuilder

hasDeletedClauses

public boolean hasDeletedClauses()

.operations_research.sat.LratDeletedClauses deleted_clauses = 4;

Specified by:

hasDeletedClauses in interface Lrat.LratProofStepOrBuilder

Returns:

Whether the deletedClauses field is set.

getDeletedClauses

public Lrat.LratDeletedClauses getDeletedClauses()

.operations_research.sat.LratDeletedClauses deleted_clauses = 4;

Specified by:

getDeletedClauses in interface Lrat.LratProofStepOrBuilder

Returns:

The deletedClauses.

setDeletedClauses

public Lrat.LratProofStep.Builder setDeletedClauses(Lrat.LratDeletedClauses value)

.operations_research.sat.LratDeletedClauses deleted_clauses = 4;

setDeletedClauses

public Lrat.LratProofStep.Builder setDeletedClauses(Lrat.LratDeletedClauses.Builder builderForValue)

.operations_research.sat.LratDeletedClauses deleted_clauses = 4;

mergeDeletedClauses

public Lrat.LratProofStep.Builder mergeDeletedClauses(Lrat.LratDeletedClauses value)

.operations_research.sat.LratDeletedClauses deleted_clauses = 4;

clearDeletedClauses

public Lrat.LratProofStep.Builder clearDeletedClauses()

.operations_research.sat.LratDeletedClauses deleted_clauses = 4;

getDeletedClausesBuilder

public Lrat.LratDeletedClauses.Builder getDeletedClausesBuilder()

.operations_research.sat.LratDeletedClauses deleted_clauses = 4;

getDeletedClausesOrBuilder

public Lrat.LratDeletedClausesOrBuilder getDeletedClausesOrBuilder()

.operations_research.sat.LratDeletedClauses deleted_clauses = 4;

Specified by:

getDeletedClausesOrBuilder in interface Lrat.LratProofStepOrBuilder