Uses of Interface
operations_research.sat.Lrat.LratExportedClauseOrBuilder
Packages that use Lrat.LratExportedClauseOrBuilder
-
Uses of Lrat.LratExportedClauseOrBuilder in operations_research.sat
Classes in operations_research.sat that implement Lrat.LratExportedClauseOrBuilderModifier and TypeClassDescriptionstatic final classA clause to export, so that it can be imported from any worker.static final classA clause to export, so that it can be imported from any worker.Methods in operations_research.sat that return Lrat.LratExportedClauseOrBuilderModifier and TypeMethodDescriptionLrat.LratProofStep.Builder.getExportedClauseOrBuilder().operations_research.sat.LratExportedClause exported_clause = 3;Lrat.LratProofStep.getExportedClauseOrBuilder().operations_research.sat.LratExportedClause exported_clause = 3;Lrat.LratProofStepOrBuilder.getExportedClauseOrBuilder().operations_research.sat.LratExportedClause exported_clause = 3;