Uses of Interface
operations_research.sat.Lrat.LratInferredClause.RatInfoOrBuilder
Packages that use Lrat.LratInferredClause.RatInfoOrBuilder
-
Uses of Lrat.LratInferredClause.RatInfoOrBuilder in operations_research.sat
Classes in operations_research.sat that implement Lrat.LratInferredClause.RatInfoOrBuilderModifier and TypeClassDescriptionstatic final classIf `rat_infos` is empty, the last `unit_ids` clause must become empty after unit propagation.static 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.RatInfoOrBuilderModifier and TypeMethodDescriptionLrat.LratInferredClause.Builder.getRatInfosOrBuilder(int index) repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;Lrat.LratInferredClause.getRatInfosOrBuilder(int index) repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;Lrat.LratInferredClauseOrBuilder.getRatInfosOrBuilder(int index) repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;Methods in operations_research.sat that return types with arguments of type Lrat.LratInferredClause.RatInfoOrBuilderModifier and TypeMethodDescriptionList<? extends Lrat.LratInferredClause.RatInfoOrBuilder> Lrat.LratInferredClause.Builder.getRatInfosOrBuilderList()repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;List<? extends Lrat.LratInferredClause.RatInfoOrBuilder> Lrat.LratInferredClause.getRatInfosOrBuilderList()repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;List<? extends Lrat.LratInferredClause.RatInfoOrBuilder> Lrat.LratInferredClauseOrBuilder.getRatInfosOrBuilderList()repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;