Uses of Interface
operations_research.sat.Lrat.LratDeletedClausesOrBuilder

Packages that use Lrat.LratDeletedClausesOrBuilder

Package	Description
operations_research.sat

Uses of Lrat.LratDeletedClausesOrBuilder in operations_research.sat

Classes in operations_research.sat that implement Lrat.LratDeletedClausesOrBuilder

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

Methods in operations_research.sat that return Lrat.LratDeletedClausesOrBuilder

Modifier and Type	Method	Description
Lrat.LratDeletedClausesOrBuilder	Lrat.LratProofStep.Builder.getDeletedClausesOrBuilder()	.operations_research.sat.LratDeletedClauses deleted_clauses = 4;
Lrat.LratDeletedClausesOrBuilder	Lrat.LratProofStep.getDeletedClausesOrBuilder()	.operations_research.sat.LratDeletedClauses deleted_clauses = 4;
Lrat.LratDeletedClausesOrBuilder	Lrat.LratProofStepOrBuilder.getDeletedClausesOrBuilder()	.operations_research.sat.LratDeletedClauses deleted_clauses = 4;