Uses of Class
operations_research.sat.Lrat.LratImportedClause
Packages that use Lrat.LratImportedClause
-
Uses of Lrat.LratImportedClause in operations_research.sat
Methods in operations_research.sat that return Lrat.LratImportedClauseModifier and TypeMethodDescriptionLrat.LratImportedClause.Builder.build()Lrat.LratImportedClause.Builder.buildPartial()static Lrat.LratImportedClauseLrat.LratImportedClause.getDefaultInstance()Lrat.LratImportedClause.Builder.getDefaultInstanceForType()Lrat.LratImportedClause.getDefaultInstanceForType()Lrat.LratProofStep.Builder.getImportedClause().operations_research.sat.LratImportedClause imported_clause = 1;Lrat.LratProofStep.getImportedClause().operations_research.sat.LratImportedClause imported_clause = 1;Lrat.LratProofStepOrBuilder.getImportedClause().operations_research.sat.LratImportedClause imported_clause = 1;static Lrat.LratImportedClauseLrat.LratImportedClause.parseDelimitedFrom(InputStream input) static Lrat.LratImportedClauseLrat.LratImportedClause.parseDelimitedFrom(InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) static Lrat.LratImportedClauseLrat.LratImportedClause.parseFrom(byte[] data) static Lrat.LratImportedClauseLrat.LratImportedClause.parseFrom(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) static Lrat.LratImportedClauseLrat.LratImportedClause.parseFrom(com.google.protobuf.ByteString data) static Lrat.LratImportedClauseLrat.LratImportedClause.parseFrom(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) static Lrat.LratImportedClauseLrat.LratImportedClause.parseFrom(com.google.protobuf.CodedInputStream input) static Lrat.LratImportedClauseLrat.LratImportedClause.parseFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) static Lrat.LratImportedClauseLrat.LratImportedClause.parseFrom(InputStream input) static Lrat.LratImportedClauseLrat.LratImportedClause.parseFrom(InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) static Lrat.LratImportedClauseLrat.LratImportedClause.parseFrom(ByteBuffer data) static Lrat.LratImportedClauseLrat.LratImportedClause.parseFrom(ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) Methods in operations_research.sat that return types with arguments of type Lrat.LratImportedClauseModifier and TypeMethodDescriptioncom.google.protobuf.Parser<Lrat.LratImportedClause> Lrat.LratImportedClause.getParserForType()static com.google.protobuf.Parser<Lrat.LratImportedClause> Lrat.LratImportedClause.parser()Methods in operations_research.sat with parameters of type Lrat.LratImportedClauseModifier and TypeMethodDescriptionLrat.LratImportedClause.Builder.mergeFrom(Lrat.LratImportedClause other) Lrat.LratProofStep.Builder.mergeImportedClause(Lrat.LratImportedClause value) .operations_research.sat.LratImportedClause imported_clause = 1;Lrat.LratImportedClause.newBuilder(Lrat.LratImportedClause prototype) Lrat.LratProofStep.Builder.setImportedClause(Lrat.LratImportedClause value) .operations_research.sat.LratImportedClause imported_clause = 1;