Uses of Class
operations_research.sat.Lrat.LratProofStep.Builder

Packages that use Lrat.LratProofStep.Builder

Package	Description
operations_research.sat

Uses of Lrat.LratProofStep.Builder in operations_research.sat

Subclasses with type arguments of type Lrat.LratProofStep.Builder in operations_research.sat

Modifier and Type	Class	Description
static final class	Lrat.LratProofStep.Builder	An LRAT UNSAT proof is a sequence of steps, starting from imported clauses and ending with the empty clause.

Methods in operations_research.sat that return Lrat.LratProofStep.Builder

Modifier and Type	Method	Description
Lrat.LratProofStep.Builder	Lrat.LratProofStep.Builder.clear()
Lrat.LratProofStep.Builder	Lrat.LratProofStep.Builder.clearDeletedClauses()	.operations_research.sat.LratDeletedClauses deleted_clauses = 4;
Lrat.LratProofStep.Builder	Lrat.LratProofStep.Builder.clearExportedClause()	.operations_research.sat.LratExportedClause exported_clause = 3;
Lrat.LratProofStep.Builder	Lrat.LratProofStep.Builder.clearImportedClause()	.operations_research.sat.LratImportedClause imported_clause = 1;
Lrat.LratProofStep.Builder	Lrat.LratProofStep.Builder.clearInferredClause()	.operations_research.sat.LratInferredClause inferred_clause = 2;
Lrat.LratProofStep.Builder	Lrat.LratProofStep.Builder.clearStep()
Lrat.LratProofStep.Builder	Lrat.LratProofStep.Builder.mergeDeletedClauses(Lrat.LratDeletedClauses value)	.operations_research.sat.LratDeletedClauses deleted_clauses = 4;
Lrat.LratProofStep.Builder	Lrat.LratProofStep.Builder.mergeExportedClause(Lrat.LratExportedClause value)	.operations_research.sat.LratExportedClause exported_clause = 3;
Lrat.LratProofStep.Builder	Lrat.LratProofStep.Builder.mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Lrat.LratProofStep.Builder	Lrat.LratProofStep.Builder.mergeFrom(com.google.protobuf.Message other)
Lrat.LratProofStep.Builder	Lrat.LratProofStep.Builder.mergeFrom(Lrat.LratProofStep other)
Lrat.LratProofStep.Builder	Lrat.LratProofStep.Builder.mergeImportedClause(Lrat.LratImportedClause value)	.operations_research.sat.LratImportedClause imported_clause = 1;
Lrat.LratProofStep.Builder	Lrat.LratProofStep.Builder.mergeInferredClause(Lrat.LratInferredClause value)	.operations_research.sat.LratInferredClause inferred_clause = 2;
static Lrat.LratProofStep.Builder	Lrat.LratProofStep.newBuilder()
static Lrat.LratProofStep.Builder	Lrat.LratProofStep.newBuilder(Lrat.LratProofStep prototype)
Lrat.LratProofStep.Builder	Lrat.LratProofStep.newBuilderForType()
protected Lrat.LratProofStep.Builder	Lrat.LratProofStep.newBuilderForType(com.google.protobuf.AbstractMessage.BuilderParent parent)
Lrat.LratProofStep.Builder	Lrat.LratProofStep.Builder.setDeletedClauses(Lrat.LratDeletedClauses value)	.operations_research.sat.LratDeletedClauses deleted_clauses = 4;
Lrat.LratProofStep.Builder	Lrat.LratProofStep.Builder.setDeletedClauses(Lrat.LratDeletedClauses.Builder builderForValue)	.operations_research.sat.LratDeletedClauses deleted_clauses = 4;
Lrat.LratProofStep.Builder	Lrat.LratProofStep.Builder.setExportedClause(Lrat.LratExportedClause value)	.operations_research.sat.LratExportedClause exported_clause = 3;
Lrat.LratProofStep.Builder	Lrat.LratProofStep.Builder.setExportedClause(Lrat.LratExportedClause.Builder builderForValue)	.operations_research.sat.LratExportedClause exported_clause = 3;
Lrat.LratProofStep.Builder	Lrat.LratProofStep.Builder.setImportedClause(Lrat.LratImportedClause value)	.operations_research.sat.LratImportedClause imported_clause = 1;
Lrat.LratProofStep.Builder	Lrat.LratProofStep.Builder.setImportedClause(Lrat.LratImportedClause.Builder builderForValue)	.operations_research.sat.LratImportedClause imported_clause = 1;
Lrat.LratProofStep.Builder	Lrat.LratProofStep.Builder.setInferredClause(Lrat.LratInferredClause value)	.operations_research.sat.LratInferredClause inferred_clause = 2;
Lrat.LratProofStep.Builder	Lrat.LratProofStep.Builder.setInferredClause(Lrat.LratInferredClause.Builder builderForValue)	.operations_research.sat.LratInferredClause inferred_clause = 2;
Lrat.LratProofStep.Builder	Lrat.LratProofStep.toBuilder()