Uses of Class
operations_research.sat.Lrat.LratDeletedClauses
Packages that use Lrat.LratDeletedClauses
-
Uses of Lrat.LratDeletedClauses in operations_research.sat
Methods in operations_research.sat that return Lrat.LratDeletedClausesModifier and TypeMethodDescriptionLrat.LratDeletedClauses.Builder.build()Lrat.LratDeletedClauses.Builder.buildPartial()static Lrat.LratDeletedClausesLrat.LratDeletedClauses.getDefaultInstance()Lrat.LratDeletedClauses.Builder.getDefaultInstanceForType()Lrat.LratDeletedClauses.getDefaultInstanceForType()Lrat.LratProofStep.Builder.getDeletedClauses().operations_research.sat.LratDeletedClauses deleted_clauses = 4;Lrat.LratProofStep.getDeletedClauses().operations_research.sat.LratDeletedClauses deleted_clauses = 4;Lrat.LratProofStepOrBuilder.getDeletedClauses().operations_research.sat.LratDeletedClauses deleted_clauses = 4;static Lrat.LratDeletedClausesLrat.LratDeletedClauses.parseDelimitedFrom(InputStream input) static Lrat.LratDeletedClausesLrat.LratDeletedClauses.parseDelimitedFrom(InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) static Lrat.LratDeletedClausesLrat.LratDeletedClauses.parseFrom(byte[] data) static Lrat.LratDeletedClausesLrat.LratDeletedClauses.parseFrom(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) static Lrat.LratDeletedClausesLrat.LratDeletedClauses.parseFrom(com.google.protobuf.ByteString data) static Lrat.LratDeletedClausesLrat.LratDeletedClauses.parseFrom(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) static Lrat.LratDeletedClausesLrat.LratDeletedClauses.parseFrom(com.google.protobuf.CodedInputStream input) static Lrat.LratDeletedClausesLrat.LratDeletedClauses.parseFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) static Lrat.LratDeletedClausesLrat.LratDeletedClauses.parseFrom(InputStream input) static Lrat.LratDeletedClausesLrat.LratDeletedClauses.parseFrom(InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) static Lrat.LratDeletedClausesLrat.LratDeletedClauses.parseFrom(ByteBuffer data) static Lrat.LratDeletedClausesLrat.LratDeletedClauses.parseFrom(ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) Methods in operations_research.sat that return types with arguments of type Lrat.LratDeletedClausesModifier and TypeMethodDescriptioncom.google.protobuf.Parser<Lrat.LratDeletedClauses> Lrat.LratDeletedClauses.getParserForType()static com.google.protobuf.Parser<Lrat.LratDeletedClauses> Lrat.LratDeletedClauses.parser()Methods in operations_research.sat with parameters of type Lrat.LratDeletedClausesModifier and TypeMethodDescriptionLrat.LratProofStep.Builder.mergeDeletedClauses(Lrat.LratDeletedClauses value) .operations_research.sat.LratDeletedClauses deleted_clauses = 4;Lrat.LratDeletedClauses.Builder.mergeFrom(Lrat.LratDeletedClauses other) Lrat.LratDeletedClauses.newBuilder(Lrat.LratDeletedClauses prototype) Lrat.LratProofStep.Builder.setDeletedClauses(Lrat.LratDeletedClauses value) .operations_research.sat.LratDeletedClauses deleted_clauses = 4;