Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research.sat.Lrat.LratProofStep.Builder Member List

This is the complete list of members for operations_research.sat.Lrat.LratProofStep.Builder, including all inherited members.

build()operations_research.sat.Lrat.LratProofStep.Builder
buildPartial()operations_research.sat.Lrat.LratProofStep.Builder
clear()operations_research.sat.Lrat.LratProofStep.Builder
clearDeletedClauses()operations_research.sat.Lrat.LratProofStep.Builder
clearExportedClause()operations_research.sat.Lrat.LratProofStep.Builder
clearImportedClause()operations_research.sat.Lrat.LratProofStep.Builder
clearInferredClause()operations_research.sat.Lrat.LratProofStep.Builder
clearStep()operations_research.sat.Lrat.LratProofStep.Builder
getDefaultInstanceForType()operations_research.sat.Lrat.LratProofStep.Builder
getDeletedClauses()operations_research.sat.Lrat.LratProofStep.Builder
getDeletedClausesBuilder()operations_research.sat.Lrat.LratProofStep.Builder
getDeletedClausesOrBuilder()operations_research.sat.Lrat.LratProofStep.Builder
getDescriptor()operations_research.sat.Lrat.LratProofStep.Builderstatic
getDescriptorForType()operations_research.sat.Lrat.LratProofStep.Builder
getExportedClause()operations_research.sat.Lrat.LratProofStep.Builder
getExportedClauseBuilder()operations_research.sat.Lrat.LratProofStep.Builder
getExportedClauseOrBuilder()operations_research.sat.Lrat.LratProofStep.Builder
getImportedClause()operations_research.sat.Lrat.LratProofStep.Builder
getImportedClauseBuilder()operations_research.sat.Lrat.LratProofStep.Builder
getImportedClauseOrBuilder()operations_research.sat.Lrat.LratProofStep.Builder
getInferredClause()operations_research.sat.Lrat.LratProofStep.Builder
getInferredClauseBuilder()operations_research.sat.Lrat.LratProofStep.Builder
getInferredClauseOrBuilder()operations_research.sat.Lrat.LratProofStep.Builder
getStepCase()operations_research.sat.Lrat.LratProofStep.Builder
hasDeletedClauses()operations_research.sat.Lrat.LratProofStep.Builder
hasExportedClause()operations_research.sat.Lrat.LratProofStep.Builder
hasImportedClause()operations_research.sat.Lrat.LratProofStep.Builder
hasInferredClause()operations_research.sat.Lrat.LratProofStep.Builder
internalGetFieldAccessorTable()operations_research.sat.Lrat.LratProofStep.Builderprotected
isInitialized()operations_research.sat.Lrat.LratProofStep.Builder
mergeDeletedClauses(operations_research.sat.Lrat.LratDeletedClauses value)operations_research.sat.Lrat.LratProofStep.Builder
mergeExportedClause(operations_research.sat.Lrat.LratExportedClause value)operations_research.sat.Lrat.LratProofStep.Builder
mergeFrom(com.google.protobuf.Message other)operations_research.sat.Lrat.LratProofStep.Builder
mergeFrom(operations_research.sat.Lrat.LratProofStep other)operations_research.sat.Lrat.LratProofStep.Builder
mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)operations_research.sat.Lrat.LratProofStep.Builder
mergeImportedClause(operations_research.sat.Lrat.LratImportedClause value)operations_research.sat.Lrat.LratProofStep.Builder
mergeInferredClause(operations_research.sat.Lrat.LratInferredClause value)operations_research.sat.Lrat.LratProofStep.Builder
setDeletedClauses(operations_research.sat.Lrat.LratDeletedClauses value)operations_research.sat.Lrat.LratProofStep.Builder
setDeletedClauses(operations_research.sat.Lrat.LratDeletedClauses.Builder builderForValue)operations_research.sat.Lrat.LratProofStep.Builder
setExportedClause(operations_research.sat.Lrat.LratExportedClause value)operations_research.sat.Lrat.LratProofStep.Builder
setExportedClause(operations_research.sat.Lrat.LratExportedClause.Builder builderForValue)operations_research.sat.Lrat.LratProofStep.Builder
setImportedClause(operations_research.sat.Lrat.LratImportedClause value)operations_research.sat.Lrat.LratProofStep.Builder
setImportedClause(operations_research.sat.Lrat.LratImportedClause.Builder builderForValue)operations_research.sat.Lrat.LratProofStep.Builder
setInferredClause(operations_research.sat.Lrat.LratInferredClause value)operations_research.sat.Lrat.LratProofStep.Builder
setInferredClause(operations_research.sat.Lrat.LratInferredClause.Builder builderForValue)operations_research.sat.Lrat.LratProofStep.Builder