Uses of Class
operations_research.sat.Lrat.LratInferredClause.RatInfo.Builder
Packages that use Lrat.LratInferredClause.RatInfo.Builder
-
Uses of Lrat.LratInferredClause.RatInfo.Builder in operations_research.sat
Subclasses with type arguments of type Lrat.LratInferredClause.RatInfo.Builder in operations_research.satModifier and TypeClassDescriptionstatic final classIf `rat_infos` is empty, the last `unit_ids` clause must become empty after unit propagation.Methods in operations_research.sat that return Lrat.LratInferredClause.RatInfo.BuilderModifier and TypeMethodDescriptionLrat.LratInferredClause.RatInfo.Builder.addAllUnitIds(Iterable<? extends Long> values) repeated int64 unit_ids = 2 [packed = true];Lrat.LratInferredClause.Builder.addRatInfosBuilder()repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;Lrat.LratInferredClause.Builder.addRatInfosBuilder(int index) repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;Lrat.LratInferredClause.RatInfo.Builder.addUnitIds(long value) repeated int64 unit_ids = 2 [packed = true];Lrat.LratInferredClause.RatInfo.Builder.clear()Lrat.LratInferredClause.RatInfo.Builder.clearResolvantId()optional int64 resolvant_id = 1;Lrat.LratInferredClause.RatInfo.Builder.clearUnitIds()repeated int64 unit_ids = 2 [packed = true];Lrat.LratInferredClause.Builder.getRatInfosBuilder(int index) repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;Lrat.LratInferredClause.RatInfo.Builder.mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) Lrat.LratInferredClause.RatInfo.Builder.mergeFrom(com.google.protobuf.Message other) Lrat.LratInferredClause.RatInfo.Builder.mergeFrom(Lrat.LratInferredClause.RatInfo other) Lrat.LratInferredClause.RatInfo.newBuilder()Lrat.LratInferredClause.RatInfo.newBuilder(Lrat.LratInferredClause.RatInfo prototype) Lrat.LratInferredClause.RatInfo.newBuilderForType()protected Lrat.LratInferredClause.RatInfo.BuilderLrat.LratInferredClause.RatInfo.newBuilderForType(com.google.protobuf.AbstractMessage.BuilderParent parent) Lrat.LratInferredClause.RatInfo.Builder.setResolvantId(long value) optional int64 resolvant_id = 1;Lrat.LratInferredClause.RatInfo.Builder.setUnitIds(int index, long value) repeated int64 unit_ids = 2 [packed = true];Lrat.LratInferredClause.RatInfo.toBuilder()Methods in operations_research.sat that return types with arguments of type Lrat.LratInferredClause.RatInfo.BuilderModifier and TypeMethodDescriptionLrat.LratInferredClause.Builder.getRatInfosBuilderList()repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;Methods in operations_research.sat with parameters of type Lrat.LratInferredClause.RatInfo.BuilderModifier and TypeMethodDescriptionLrat.LratInferredClause.Builder.addRatInfos(int index, Lrat.LratInferredClause.RatInfo.Builder builderForValue) repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;Lrat.LratInferredClause.Builder.addRatInfos(Lrat.LratInferredClause.RatInfo.Builder builderForValue) repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;Lrat.LratInferredClause.Builder.setRatInfos(int index, Lrat.LratInferredClause.RatInfo.Builder builderForValue) repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;