Uses of Interface
operations_research.sat.Lrat.LratImportedClauseOrBuilder

Packages that use Lrat.LratImportedClauseOrBuilder

Package	Description
operations_research.sat

Uses of Lrat.LratImportedClauseOrBuilder in operations_research.sat

Classes in operations_research.sat that implement Lrat.LratImportedClauseOrBuilder

Modifier and Type	Class	Description
static final class	Lrat.LratImportedClause	A clause imported from the input problem, or from another worker.
static final class	Lrat.LratImportedClause.Builder	A clause imported from the input problem, or from another worker.

Methods in operations_research.sat that return Lrat.LratImportedClauseOrBuilder

Modifier and Type	Method	Description
Lrat.LratImportedClauseOrBuilder	Lrat.LratProofStep.Builder.getImportedClauseOrBuilder()	.operations_research.sat.LratImportedClause imported_clause = 1;
Lrat.LratImportedClauseOrBuilder	Lrat.LratProofStep.getImportedClauseOrBuilder()	.operations_research.sat.LratImportedClause imported_clause = 1;
Lrat.LratImportedClauseOrBuilder	Lrat.LratProofStepOrBuilder.getImportedClauseOrBuilder()	.operations_research.sat.LratImportedClause imported_clause = 1;