Uses of Class
operations_research.sat.Lrat.LratExportedClause.Builder

Packages that use Lrat.LratExportedClause.Builder

Package	Description
operations_research.sat

Uses of Lrat.LratExportedClause.Builder in operations_research.sat

Subclasses with type arguments of type Lrat.LratExportedClause.Builder in operations_research.sat

Modifier and Type	Class	Description
static final class	Lrat.LratExportedClause.Builder	A clause to export, so that it can be imported from any worker.

Methods in operations_research.sat that return Lrat.LratExportedClause.Builder

Modifier and Type	Method	Description
Lrat.LratExportedClause.Builder	Lrat.LratExportedClause.Builder.addAllLiterals(Iterable<? extends Integer> values)	repeated int32 literals = 2 [packed = true];
Lrat.LratExportedClause.Builder	Lrat.LratExportedClause.Builder.addLiterals(int value)	repeated int32 literals = 2 [packed = true];
Lrat.LratExportedClause.Builder	Lrat.LratExportedClause.Builder.clear()
Lrat.LratExportedClause.Builder	Lrat.LratExportedClause.Builder.clearClauseId()	optional int64 clause_id = 1;
Lrat.LratExportedClause.Builder	Lrat.LratExportedClause.Builder.clearLiterals()	repeated int32 literals = 2 [packed = true];
Lrat.LratExportedClause.Builder	Lrat.LratProofStep.Builder.getExportedClauseBuilder()	.operations_research.sat.LratExportedClause exported_clause = 3;
Lrat.LratExportedClause.Builder	Lrat.LratExportedClause.Builder.mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Lrat.LratExportedClause.Builder	Lrat.LratExportedClause.Builder.mergeFrom(com.google.protobuf.Message other)
Lrat.LratExportedClause.Builder	Lrat.LratExportedClause.Builder.mergeFrom(Lrat.LratExportedClause other)
static Lrat.LratExportedClause.Builder	Lrat.LratExportedClause.newBuilder()
static Lrat.LratExportedClause.Builder	Lrat.LratExportedClause.newBuilder(Lrat.LratExportedClause prototype)
Lrat.LratExportedClause.Builder	Lrat.LratExportedClause.newBuilderForType()
protected Lrat.LratExportedClause.Builder	Lrat.LratExportedClause.newBuilderForType(com.google.protobuf.AbstractMessage.BuilderParent parent)
Lrat.LratExportedClause.Builder	Lrat.LratExportedClause.Builder.setClauseId(long value)	optional int64 clause_id = 1;
Lrat.LratExportedClause.Builder	Lrat.LratExportedClause.Builder.setLiterals(int index, int value)	repeated int32 literals = 2 [packed = true];
Lrat.LratExportedClause.Builder	Lrat.LratExportedClause.toBuilder()

Methods in operations_research.sat with parameters of type Lrat.LratExportedClause.Builder

Modifier and Type	Method	Description
Lrat.LratProofStep.Builder	Lrat.LratProofStep.Builder.setExportedClause(Lrat.LratExportedClause.Builder builderForValue)	.operations_research.sat.LratExportedClause exported_clause = 3;