Uses of Class
operations_research.sat.Lrat.LratExportedClause
Packages that use Lrat.LratExportedClause
-
Uses of Lrat.LratExportedClause in operations_research.sat
Methods in operations_research.sat that return Lrat.LratExportedClauseModifier and TypeMethodDescriptionLrat.LratExportedClause.Builder.build()Lrat.LratExportedClause.Builder.buildPartial()static Lrat.LratExportedClauseLrat.LratExportedClause.getDefaultInstance()Lrat.LratExportedClause.Builder.getDefaultInstanceForType()Lrat.LratExportedClause.getDefaultInstanceForType()Lrat.LratProofStep.Builder.getExportedClause().operations_research.sat.LratExportedClause exported_clause = 3;Lrat.LratProofStep.getExportedClause().operations_research.sat.LratExportedClause exported_clause = 3;Lrat.LratProofStepOrBuilder.getExportedClause().operations_research.sat.LratExportedClause exported_clause = 3;static Lrat.LratExportedClauseLrat.LratExportedClause.parseDelimitedFrom(InputStream input) static Lrat.LratExportedClauseLrat.LratExportedClause.parseDelimitedFrom(InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) static Lrat.LratExportedClauseLrat.LratExportedClause.parseFrom(byte[] data) static Lrat.LratExportedClauseLrat.LratExportedClause.parseFrom(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) static Lrat.LratExportedClauseLrat.LratExportedClause.parseFrom(com.google.protobuf.ByteString data) static Lrat.LratExportedClauseLrat.LratExportedClause.parseFrom(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) static Lrat.LratExportedClauseLrat.LratExportedClause.parseFrom(com.google.protobuf.CodedInputStream input) static Lrat.LratExportedClauseLrat.LratExportedClause.parseFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) static Lrat.LratExportedClauseLrat.LratExportedClause.parseFrom(InputStream input) static Lrat.LratExportedClauseLrat.LratExportedClause.parseFrom(InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) static Lrat.LratExportedClauseLrat.LratExportedClause.parseFrom(ByteBuffer data) static Lrat.LratExportedClauseLrat.LratExportedClause.parseFrom(ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) Methods in operations_research.sat that return types with arguments of type Lrat.LratExportedClauseModifier and TypeMethodDescriptioncom.google.protobuf.Parser<Lrat.LratExportedClause> Lrat.LratExportedClause.getParserForType()static com.google.protobuf.Parser<Lrat.LratExportedClause> Lrat.LratExportedClause.parser()Methods in operations_research.sat with parameters of type Lrat.LratExportedClauseModifier and TypeMethodDescriptionLrat.LratProofStep.Builder.mergeExportedClause(Lrat.LratExportedClause value) .operations_research.sat.LratExportedClause exported_clause = 3;Lrat.LratExportedClause.Builder.mergeFrom(Lrat.LratExportedClause other) Lrat.LratExportedClause.newBuilder(Lrat.LratExportedClause prototype) Lrat.LratProofStep.Builder.setExportedClause(Lrat.LratExportedClause value) .operations_research.sat.LratExportedClause exported_clause = 3;