Uses of Interface
operations_research.sat.Lrat.LratInferredClauseOrBuilder

Packages that use Lrat.LratInferredClauseOrBuilder

Package	Description
operations_research.sat

Uses of Lrat.LratInferredClauseOrBuilder in operations_research.sat

Classes in operations_research.sat that implement Lrat.LratInferredClauseOrBuilder

Modifier and Type	Class	Description
static final class	Lrat.LratInferredClause	An LRAT inferred clause.
static final class	Lrat.LratInferredClause.Builder	An LRAT inferred clause.

Methods in operations_research.sat that return Lrat.LratInferredClauseOrBuilder

Modifier and Type	Method	Description
Lrat.LratInferredClauseOrBuilder	Lrat.LratProofStep.Builder.getInferredClauseOrBuilder()	.operations_research.sat.LratInferredClause inferred_clause = 2;
Lrat.LratInferredClauseOrBuilder	Lrat.LratProofStep.getInferredClauseOrBuilder()	.operations_research.sat.LratInferredClause inferred_clause = 2;
Lrat.LratInferredClauseOrBuilder	Lrat.LratProofStepOrBuilder.getInferredClauseOrBuilder()	.operations_research.sat.LratInferredClause inferred_clause = 2;