Uses of Interface
operations_research.sat.Lrat.LratInferredClause.RatInfoOrBuilder

Packages that use Lrat.LratInferredClause.RatInfoOrBuilder

Package	Description
operations_research.sat

Uses of Lrat.LratInferredClause.RatInfoOrBuilder in operations_research.sat

Classes in operations_research.sat that implement Lrat.LratInferredClause.RatInfoOrBuilder

Modifier and Type	Class	Description
static final class	Lrat.LratInferredClause.RatInfo	If `rat_infos` is empty, the last `unit_ids` clause must become empty after unit propagation.
static final class	Lrat.LratInferredClause.RatInfo.Builder	If `rat_infos` is empty, the last `unit_ids` clause must become empty after unit propagation.

Methods in operations_research.sat that return Lrat.LratInferredClause.RatInfoOrBuilder

Modifier and Type	Method	Description
Lrat.LratInferredClause.RatInfoOrBuilder	Lrat.LratInferredClause.Builder.getRatInfosOrBuilder(int index)	repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;
Lrat.LratInferredClause.RatInfoOrBuilder	Lrat.LratInferredClause.getRatInfosOrBuilder(int index)	repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;
Lrat.LratInferredClause.RatInfoOrBuilder	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.RatInfoOrBuilder

Modifier and Type	Method	Description
List<? 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;