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

Packages that use Lrat.LratInferredClause.Builder

Package	Description
operations_research.sat

Uses of Lrat.LratInferredClause.Builder in operations_research.sat

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

Modifier and Type	Class	Description
static final class	Lrat.LratInferredClause.Builder	An LRAT inferred clause.

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

Modifier and Type	Method	Description
Lrat.LratInferredClause.Builder	Lrat.LratInferredClause.Builder.addAllLiterals(Iterable<? extends Integer> values)	Literals are represented with LiteralIndex values.
Lrat.LratInferredClause.Builder	Lrat.LratInferredClause.Builder.addAllRatInfos(Iterable<? extends Lrat.LratInferredClause.RatInfo> values)	repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;
Lrat.LratInferredClause.Builder	Lrat.LratInferredClause.Builder.addAllUnitIds(Iterable<? extends Long> values)	Clauses which become unit and possibly empty if all the `literals` are assumed to be false (verification stops at the first empty clause).
Lrat.LratInferredClause.Builder	Lrat.LratInferredClause.Builder.addLiterals(int value)	Literals are represented with LiteralIndex values.
Lrat.LratInferredClause.Builder	Lrat.LratInferredClause.Builder.addRatInfos(int index, Lrat.LratInferredClause.RatInfo value)	repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;
Lrat.LratInferredClause.Builder	Lrat.LratInferredClause.Builder.addRatInfos(int index, Lrat.LratInferredClause.RatInfo.Builder builderForValue)	repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;
Lrat.LratInferredClause.Builder	Lrat.LratInferredClause.Builder.addRatInfos(Lrat.LratInferredClause.RatInfo value)	repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;
Lrat.LratInferredClause.Builder	Lrat.LratInferredClause.Builder.addRatInfos(Lrat.LratInferredClause.RatInfo.Builder builderForValue)	repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;
Lrat.LratInferredClause.Builder	Lrat.LratInferredClause.Builder.addUnitIds(long value)	Clauses which become unit and possibly empty if all the `literals` are assumed to be false (verification stops at the first empty clause).
Lrat.LratInferredClause.Builder	Lrat.LratInferredClause.Builder.clear()
Lrat.LratInferredClause.Builder	Lrat.LratInferredClause.Builder.clearClauseId()	optional int64 clause_id = 1;
Lrat.LratInferredClause.Builder	Lrat.LratInferredClause.Builder.clearExported()	Whether the clause must be exported, so that other workers can import it (a clause cannot be imported if it is not previously exported).
Lrat.LratInferredClause.Builder	Lrat.LratInferredClause.Builder.clearLiterals()	Literals are represented with LiteralIndex values.
Lrat.LratInferredClause.Builder	Lrat.LratInferredClause.Builder.clearRatInfos()	repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;
Lrat.LratInferredClause.Builder	Lrat.LratInferredClause.Builder.clearUnitIds()	Clauses which become unit and possibly empty if all the `literals` are assumed to be false (verification stops at the first empty clause).
Lrat.LratInferredClause.Builder	Lrat.LratProofStep.Builder.getInferredClauseBuilder()	.operations_research.sat.LratInferredClause inferred_clause = 2;
Lrat.LratInferredClause.Builder	Lrat.LratInferredClause.Builder.mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Lrat.LratInferredClause.Builder	Lrat.LratInferredClause.Builder.mergeFrom(com.google.protobuf.Message other)
Lrat.LratInferredClause.Builder	Lrat.LratInferredClause.Builder.mergeFrom(Lrat.LratInferredClause other)
static Lrat.LratInferredClause.Builder	Lrat.LratInferredClause.newBuilder()
static Lrat.LratInferredClause.Builder	Lrat.LratInferredClause.newBuilder(Lrat.LratInferredClause prototype)
Lrat.LratInferredClause.Builder	Lrat.LratInferredClause.newBuilderForType()
protected Lrat.LratInferredClause.Builder	Lrat.LratInferredClause.newBuilderForType(com.google.protobuf.AbstractMessage.BuilderParent parent)
Lrat.LratInferredClause.Builder	Lrat.LratInferredClause.Builder.removeRatInfos(int index)	repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;
Lrat.LratInferredClause.Builder	Lrat.LratInferredClause.Builder.setClauseId(long value)	optional int64 clause_id = 1;
Lrat.LratInferredClause.Builder	Lrat.LratInferredClause.Builder.setExported(boolean value)	Whether the clause must be exported, so that other workers can import it (a clause cannot be imported if it is not previously exported).
Lrat.LratInferredClause.Builder	Lrat.LratInferredClause.Builder.setLiterals(int index, int value)	Literals are represented with LiteralIndex values.
Lrat.LratInferredClause.Builder	Lrat.LratInferredClause.Builder.setRatInfos(int index, Lrat.LratInferredClause.RatInfo value)	repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;
Lrat.LratInferredClause.Builder	Lrat.LratInferredClause.Builder.setRatInfos(int index, Lrat.LratInferredClause.RatInfo.Builder builderForValue)	repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;
Lrat.LratInferredClause.Builder	Lrat.LratInferredClause.Builder.setUnitIds(int index, long value)	Clauses which become unit and possibly empty if all the `literals` are assumed to be false (verification stops at the first empty clause).
Lrat.LratInferredClause.Builder	Lrat.LratInferredClause.toBuilder()

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

Modifier and Type	Method	Description
Lrat.LratProofStep.Builder	Lrat.LratProofStep.Builder.setInferredClause(Lrat.LratInferredClause.Builder builderForValue)	.operations_research.sat.LratInferredClause inferred_clause = 2;