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

Packages that use Lrat.LratDeletedClauses.Builder

Package	Description
operations_research.sat

Uses of Lrat.LratDeletedClauses.Builder in operations_research.sat

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

Modifier and Type	Class	Description
static final class	Lrat.LratDeletedClauses.Builder	A list of clauses to delete.

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

Modifier and Type	Method	Description
Lrat.LratDeletedClauses.Builder	Lrat.LratDeletedClauses.Builder.addAllClauseIds(Iterable<? extends Long> values)	IDs of the imported or inferred clauses to delete.
Lrat.LratDeletedClauses.Builder	Lrat.LratDeletedClauses.Builder.addClauseIds(long value)	IDs of the imported or inferred clauses to delete.
Lrat.LratDeletedClauses.Builder	Lrat.LratDeletedClauses.Builder.clear()
Lrat.LratDeletedClauses.Builder	Lrat.LratDeletedClauses.Builder.clearClauseIds()	IDs of the imported or inferred clauses to delete.
Lrat.LratDeletedClauses.Builder	Lrat.LratProofStep.Builder.getDeletedClausesBuilder()	.operations_research.sat.LratDeletedClauses deleted_clauses = 4;
Lrat.LratDeletedClauses.Builder	Lrat.LratDeletedClauses.Builder.mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Lrat.LratDeletedClauses.Builder	Lrat.LratDeletedClauses.Builder.mergeFrom(com.google.protobuf.Message other)
Lrat.LratDeletedClauses.Builder	Lrat.LratDeletedClauses.Builder.mergeFrom(Lrat.LratDeletedClauses other)
static Lrat.LratDeletedClauses.Builder	Lrat.LratDeletedClauses.newBuilder()
static Lrat.LratDeletedClauses.Builder	Lrat.LratDeletedClauses.newBuilder(Lrat.LratDeletedClauses prototype)
Lrat.LratDeletedClauses.Builder	Lrat.LratDeletedClauses.newBuilderForType()
protected Lrat.LratDeletedClauses.Builder	Lrat.LratDeletedClauses.newBuilderForType(com.google.protobuf.AbstractMessage.BuilderParent parent)
Lrat.LratDeletedClauses.Builder	Lrat.LratDeletedClauses.Builder.setClauseIds(int index, long value)	IDs of the imported or inferred clauses to delete.
Lrat.LratDeletedClauses.Builder	Lrat.LratDeletedClauses.toBuilder()

Methods in operations_research.sat with parameters of type Lrat.LratDeletedClauses.Builder

Modifier and Type	Method	Description
Lrat.LratProofStep.Builder	Lrat.LratProofStep.Builder.setDeletedClauses(Lrat.LratDeletedClauses.Builder builderForValue)	.operations_research.sat.LratDeletedClauses deleted_clauses = 4;