Uses of Class
operations_research.sat.Lrat.LratInferredClause
Packages that use Lrat.LratInferredClause
-
Uses of Lrat.LratInferredClause in operations_research.sat
Methods in operations_research.sat that return Lrat.LratInferredClauseModifier and TypeMethodDescriptionLrat.LratInferredClause.Builder.build()Lrat.LratInferredClause.Builder.buildPartial()static Lrat.LratInferredClauseLrat.LratInferredClause.getDefaultInstance()Lrat.LratInferredClause.Builder.getDefaultInstanceForType()Lrat.LratInferredClause.getDefaultInstanceForType()Lrat.LratProofStep.Builder.getInferredClause().operations_research.sat.LratInferredClause inferred_clause = 2;Lrat.LratProofStep.getInferredClause().operations_research.sat.LratInferredClause inferred_clause = 2;Lrat.LratProofStepOrBuilder.getInferredClause().operations_research.sat.LratInferredClause inferred_clause = 2;static Lrat.LratInferredClauseLrat.LratInferredClause.parseDelimitedFrom(InputStream input) static Lrat.LratInferredClauseLrat.LratInferredClause.parseDelimitedFrom(InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) static Lrat.LratInferredClauseLrat.LratInferredClause.parseFrom(byte[] data) static Lrat.LratInferredClauseLrat.LratInferredClause.parseFrom(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) static Lrat.LratInferredClauseLrat.LratInferredClause.parseFrom(com.google.protobuf.ByteString data) static Lrat.LratInferredClauseLrat.LratInferredClause.parseFrom(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) static Lrat.LratInferredClauseLrat.LratInferredClause.parseFrom(com.google.protobuf.CodedInputStream input) static Lrat.LratInferredClauseLrat.LratInferredClause.parseFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) static Lrat.LratInferredClauseLrat.LratInferredClause.parseFrom(InputStream input) static Lrat.LratInferredClauseLrat.LratInferredClause.parseFrom(InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) static Lrat.LratInferredClauseLrat.LratInferredClause.parseFrom(ByteBuffer data) static Lrat.LratInferredClauseLrat.LratInferredClause.parseFrom(ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) Methods in operations_research.sat that return types with arguments of type Lrat.LratInferredClauseModifier and TypeMethodDescriptioncom.google.protobuf.Parser<Lrat.LratInferredClause> Lrat.LratInferredClause.getParserForType()static com.google.protobuf.Parser<Lrat.LratInferredClause> Lrat.LratInferredClause.parser()Methods in operations_research.sat with parameters of type Lrat.LratInferredClauseModifier and TypeMethodDescriptionLrat.LratInferredClause.Builder.mergeFrom(Lrat.LratInferredClause other) Lrat.LratProofStep.Builder.mergeInferredClause(Lrat.LratInferredClause value) .operations_research.sat.LratInferredClause inferred_clause = 2;Lrat.LratInferredClause.newBuilder(Lrat.LratInferredClause prototype) Lrat.LratProofStep.Builder.setInferredClause(Lrat.LratInferredClause value) .operations_research.sat.LratInferredClause inferred_clause = 2;