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

Packages that use Lrat.LratImportedClause.Builder

Package	Description
operations_research.sat

Uses of Lrat.LratImportedClause.Builder in operations_research.sat

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

Modifier and Type	Class	Description
static final class	Lrat.LratImportedClause.Builder	A clause imported from the input problem, or from another worker.

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

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

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

Modifier and Type	Method	Description
Lrat.LratProofStep.Builder	Lrat.LratProofStep.Builder.setImportedClause(Lrat.LratImportedClause.Builder builderForValue)	.operations_research.sat.LratImportedClause imported_clause = 1;