Uses of Class
operations_research.sat.Lrat.LratImportedClause.Builder
Packages that use Lrat.LratImportedClause.Builder
-
Uses of Lrat.LratImportedClause.Builder in operations_research.sat
Subclasses with type arguments of type Lrat.LratImportedClause.Builder in operations_research.satModifier and TypeClassDescriptionstatic final classA clause imported from the input problem, or from another worker.Methods in operations_research.sat that return Lrat.LratImportedClause.BuilderModifier and TypeMethodDescriptionLrat.LratImportedClause.Builder.addAllLiterals(Iterable<? extends Integer> values) repeated int32 literals = 2 [packed = true];Lrat.LratImportedClause.Builder.addLiterals(int value) repeated int32 literals = 2 [packed = true];Lrat.LratImportedClause.Builder.clear()Lrat.LratImportedClause.Builder.clearClauseId()optional int64 clause_id = 1;Lrat.LratImportedClause.Builder.clearLiterals()repeated int32 literals = 2 [packed = true];Lrat.LratProofStep.Builder.getImportedClauseBuilder().operations_research.sat.LratImportedClause imported_clause = 1;Lrat.LratImportedClause.Builder.mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) Lrat.LratImportedClause.Builder.mergeFrom(com.google.protobuf.Message other) Lrat.LratImportedClause.Builder.mergeFrom(Lrat.LratImportedClause other) Lrat.LratImportedClause.newBuilder()Lrat.LratImportedClause.newBuilder(Lrat.LratImportedClause prototype) Lrat.LratImportedClause.newBuilderForType()protected Lrat.LratImportedClause.BuilderLrat.LratImportedClause.newBuilderForType(com.google.protobuf.AbstractMessage.BuilderParent parent) Lrat.LratImportedClause.Builder.setClauseId(long value) optional int64 clause_id = 1;Lrat.LratImportedClause.Builder.setLiterals(int index, int value) repeated int32 literals = 2 [packed = true];Lrat.LratImportedClause.toBuilder()Methods in operations_research.sat with parameters of type Lrat.LratImportedClause.BuilderModifier and TypeMethodDescriptionLrat.LratProofStep.Builder.setImportedClause(Lrat.LratImportedClause.Builder builderForValue) .operations_research.sat.LratImportedClause imported_clause = 1;