Class Lrat.LratInferredClause.Builder

java.lang.Object
com.google.protobuf.AbstractMessageLite.Builder
com.google.protobuf.AbstractMessage.Builder<Lrat.LratInferredClause.Builder>
com.google.protobuf.GeneratedMessage.Builder<Lrat.LratInferredClause.Builder>
operations_research.sat.Lrat.LratInferredClause.Builder
All Implemented Interfaces:
com.google.protobuf.Message.Builder, com.google.protobuf.MessageLite.Builder, com.google.protobuf.MessageLiteOrBuilder, com.google.protobuf.MessageOrBuilder, Cloneable, Lrat.LratInferredClauseOrBuilder
Enclosing class:
Lrat.LratInferredClause
public static final class Lrat.LratInferredClause.Builder extends com.google.protobuf.GeneratedMessage.Builder<Lrat.LratInferredClause.Builder> implements Lrat.LratInferredClauseOrBuilder
An LRAT inferred clause.
Protobuf type operations_research.sat.LratInferredClause

  • Method Details

    • getDescriptor

      public static final com.google.protobuf.Descriptors.Descriptor getDescriptor()

    • internalGetFieldAccessorTable

      protected com.google.protobuf.GeneratedMessage.FieldAccessorTable internalGetFieldAccessorTable()
      Specified by:
      internalGetFieldAccessorTable in class com.google.protobuf.GeneratedMessage.Builder<Lrat.LratInferredClause.Builder>

    • clear

      public Lrat.LratInferredClause.Builder clear()
      Specified by:
      clear in interface com.google.protobuf.Message.Builder
      Specified by:
      clear in interface com.google.protobuf.MessageLite.Builder
      Overrides:
      clear in class com.google.protobuf.GeneratedMessage.Builder<Lrat.LratInferredClause.Builder>

    • getDescriptorForType

      public com.google.protobuf.Descriptors.Descriptor getDescriptorForType()
      Specified by:
      getDescriptorForType in interface com.google.protobuf.Message.Builder
      Specified by:
      getDescriptorForType in interface com.google.protobuf.MessageOrBuilder
      Overrides:
      getDescriptorForType in class com.google.protobuf.GeneratedMessage.Builder<Lrat.LratInferredClause.Builder>

    • getDefaultInstanceForType

      public Lrat.LratInferredClause getDefaultInstanceForType()
      Specified by:
      getDefaultInstanceForType in interface com.google.protobuf.MessageLiteOrBuilder
      Specified by:
      getDefaultInstanceForType in interface com.google.protobuf.MessageOrBuilder

    • build

      public Lrat.LratInferredClause build()
      Specified by:
      build in interface com.google.protobuf.Message.Builder
      Specified by:
      build in interface com.google.protobuf.MessageLite.Builder

    • buildPartial

      public Lrat.LratInferredClause buildPartial()
      Specified by:
      buildPartial in interface com.google.protobuf.Message.Builder
      Specified by:
      buildPartial in interface com.google.protobuf.MessageLite.Builder

    • mergeFrom

      public Lrat.LratInferredClause.Builder mergeFrom(com.google.protobuf.Message other)
      Specified by:
      mergeFrom in interface com.google.protobuf.Message.Builder
      Overrides:
      mergeFrom in class com.google.protobuf.AbstractMessage.Builder<Lrat.LratInferredClause.Builder>

    • mergeFrom

      public Lrat.LratInferredClause.Builder mergeFrom(Lrat.LratInferredClause other)

    • isInitialized

      public final boolean isInitialized()
      Specified by:
      isInitialized in interface com.google.protobuf.MessageLiteOrBuilder
      Overrides:
      isInitialized in class com.google.protobuf.GeneratedMessage.Builder<Lrat.LratInferredClause.Builder>

    • mergeFrom

      public Lrat.LratInferredClause.Builder mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws IOException
      Specified by:
      mergeFrom in interface com.google.protobuf.Message.Builder
      Specified by:
      mergeFrom in interface com.google.protobuf.MessageLite.Builder
      Overrides:
      mergeFrom in class com.google.protobuf.AbstractMessage.Builder<Lrat.LratInferredClause.Builder>
      Throws:
      IOException

    • hasClauseId

      public boolean hasClauseId()
      optional int64 clause_id = 1;
      Specified by:
      hasClauseId in interface Lrat.LratInferredClauseOrBuilder
      Returns:
      Whether the clauseId field is set.

    • getClauseId

      public long getClauseId()
      optional int64 clause_id = 1;
      Specified by:
      getClauseId in interface Lrat.LratInferredClauseOrBuilder
      Returns:
      The clauseId.

    • setClauseId

      public Lrat.LratInferredClause.Builder setClauseId(long value)
      optional int64 clause_id = 1;
      Parameters:
      value - The clauseId to set.
      Returns:
      This builder for chaining.

    • clearClauseId

      public Lrat.LratInferredClause.Builder clearClauseId()
      optional int64 clause_id = 1;
      Returns:
      This builder for chaining.

    • getLiteralsList

      public List<Integer> getLiteralsList()
      Literals are represented with LiteralIndex values.
      repeated int32 literals = 2 [packed = true];
      Specified by:
      getLiteralsList in interface Lrat.LratInferredClauseOrBuilder
      Returns:
      A list containing the literals.

    • getLiteralsCount

      public int getLiteralsCount()
      Literals are represented with LiteralIndex values.
      repeated int32 literals = 2 [packed = true];
      Specified by:
      getLiteralsCount in interface Lrat.LratInferredClauseOrBuilder
      Returns:
      The count of literals.

    • getLiterals

      public int getLiterals(int index)
      Literals are represented with LiteralIndex values.
      repeated int32 literals = 2 [packed = true];
      Specified by:
      getLiterals in interface Lrat.LratInferredClauseOrBuilder
      Parameters:
      index - The index of the element to return.
      Returns:
      The literals at the given index.

    • setLiterals

      public Lrat.LratInferredClause.Builder setLiterals(int index, int value)
      Literals are represented with LiteralIndex values.
      repeated int32 literals = 2 [packed = true];
      Parameters:
      index - The index to set the value at.
      value - The literals to set.
      Returns:
      This builder for chaining.

    • addLiterals

      public Lrat.LratInferredClause.Builder addLiterals(int value)
      Literals are represented with LiteralIndex values.
      repeated int32 literals = 2 [packed = true];
      Parameters:
      value - The literals to add.
      Returns:
      This builder for chaining.

    • addAllLiterals

      public Lrat.LratInferredClause.Builder addAllLiterals(Iterable<? extends Integer> values)
      Literals are represented with LiteralIndex values.
      repeated int32 literals = 2 [packed = true];
      Parameters:
      values - The literals to add.
      Returns:
      This builder for chaining.

    • clearLiterals

      public Lrat.LratInferredClause.Builder clearLiterals()
      Literals are represented with LiteralIndex values.
      repeated int32 literals = 2 [packed = true];
      Returns:
      This builder for chaining.

    • getUnitIdsList

      public List<Long> getUnitIdsList()
      Clauses which become unit and possibly empty if all the `literals` are
assumed to be false (verification stops at the first empty clause). This
list must be in unit propagation order. See LratChecker for more details.
      repeated int64 unit_ids = 3 [packed = true];
      Specified by:
      getUnitIdsList in interface Lrat.LratInferredClauseOrBuilder
      Returns:
      A list containing the unitIds.

    • getUnitIdsCount

      public int getUnitIdsCount()
      Clauses which become unit and possibly empty if all the `literals` are
assumed to be false (verification stops at the first empty clause). This
list must be in unit propagation order. See LratChecker for more details.
      repeated int64 unit_ids = 3 [packed = true];
      Specified by:
      getUnitIdsCount in interface Lrat.LratInferredClauseOrBuilder
      Returns:
      The count of unitIds.

    • getUnitIds

      public long getUnitIds(int index)
      Clauses which become unit and possibly empty if all the `literals` are
assumed to be false (verification stops at the first empty clause). This
list must be in unit propagation order. See LratChecker for more details.
      repeated int64 unit_ids = 3 [packed = true];
      Specified by:
      getUnitIds in interface Lrat.LratInferredClauseOrBuilder
      Parameters:
      index - The index of the element to return.
      Returns:
      The unitIds at the given index.

    • setUnitIds

      public 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). This
list must be in unit propagation order. See LratChecker for more details.
      repeated int64 unit_ids = 3 [packed = true];
      Parameters:
      index - The index to set the value at.
      value - The unitIds to set.
      Returns:
      This builder for chaining.

    • addUnitIds

      public 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). This
list must be in unit propagation order. See LratChecker for more details.
      repeated int64 unit_ids = 3 [packed = true];
      Parameters:
      value - The unitIds to add.
      Returns:
      This builder for chaining.

    • addAllUnitIds

      public 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). This
list must be in unit propagation order. See LratChecker for more details.
      repeated int64 unit_ids = 3 [packed = true];
      Parameters:
      values - The unitIds to add.
      Returns:
      This builder for chaining.

    • clearUnitIds

      public 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). This
list must be in unit propagation order. See LratChecker for more details.
      repeated int64 unit_ids = 3 [packed = true];
      Returns:
      This builder for chaining.

    • getRatInfosList

      public List<Lrat.LratInferredClause.RatInfo> getRatInfosList()
      repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;
      Specified by:
      getRatInfosList in interface Lrat.LratInferredClauseOrBuilder

    • getRatInfosCount

      public int getRatInfosCount()
      repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;
      Specified by:
      getRatInfosCount in interface Lrat.LratInferredClauseOrBuilder

    • getRatInfos

      public Lrat.LratInferredClause.RatInfo getRatInfos(int index)
      repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;
      Specified by:
      getRatInfos in interface Lrat.LratInferredClauseOrBuilder

    • setRatInfos

      public Lrat.LratInferredClause.Builder setRatInfos(int index, Lrat.LratInferredClause.RatInfo value)
      repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;

    • setRatInfos

      public Lrat.LratInferredClause.Builder setRatInfos(int index, Lrat.LratInferredClause.RatInfo.Builder builderForValue)
      repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;

    • addRatInfos

      public Lrat.LratInferredClause.Builder addRatInfos(Lrat.LratInferredClause.RatInfo value)
      repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;

    • addRatInfos

      public Lrat.LratInferredClause.Builder addRatInfos(int index, Lrat.LratInferredClause.RatInfo value)
      repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;

    • addRatInfos

      public Lrat.LratInferredClause.Builder addRatInfos(Lrat.LratInferredClause.RatInfo.Builder builderForValue)
      repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;

    • addRatInfos

      public Lrat.LratInferredClause.Builder addRatInfos(int index, Lrat.LratInferredClause.RatInfo.Builder builderForValue)
      repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;

    • addAllRatInfos

      public Lrat.LratInferredClause.Builder addAllRatInfos(Iterable<? extends Lrat.LratInferredClause.RatInfo> values)
      repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;

    • clearRatInfos

      public Lrat.LratInferredClause.Builder clearRatInfos()
      repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;

    • removeRatInfos

      public Lrat.LratInferredClause.Builder removeRatInfos(int index)
      repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;

    • getRatInfosBuilder

      public Lrat.LratInferredClause.RatInfo.Builder getRatInfosBuilder(int index)
      repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;

    • getRatInfosOrBuilder

      public Lrat.LratInferredClause.RatInfoOrBuilder getRatInfosOrBuilder(int index)
      repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;
      Specified by:
      getRatInfosOrBuilder in interface Lrat.LratInferredClauseOrBuilder

    • getRatInfosOrBuilderList

      public List<? extends Lrat.LratInferredClause.RatInfoOrBuilder> getRatInfosOrBuilderList()
      repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;
      Specified by:
      getRatInfosOrBuilderList in interface Lrat.LratInferredClauseOrBuilder

    • addRatInfosBuilder

      public Lrat.LratInferredClause.RatInfo.Builder addRatInfosBuilder()
      repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;

    • addRatInfosBuilder

      public Lrat.LratInferredClause.RatInfo.Builder addRatInfosBuilder(int index)
      repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;

    • getRatInfosBuilderList

      public List<Lrat.LratInferredClause.RatInfo.Builder> getRatInfosBuilderList()
      repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;

    • hasExported

      public boolean hasExported()
      Whether the clause must be exported, so that other workers can import it (a
clause cannot be imported if it is not previously exported). This is not
needed for unary and binary clauses, which are always exported.
      optional bool exported = 5;
      Specified by:
      hasExported in interface Lrat.LratInferredClauseOrBuilder
      Returns:
      Whether the exported field is set.

    • getExported

      public boolean getExported()
      Whether the clause must be exported, so that other workers can import it (a
clause cannot be imported if it is not previously exported). This is not
needed for unary and binary clauses, which are always exported.
      optional bool exported = 5;
      Specified by:
      getExported in interface Lrat.LratInferredClauseOrBuilder
      Returns:
      The exported.

    • setExported

      public 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). This is not
needed for unary and binary clauses, which are always exported.
      optional bool exported = 5;
      Parameters:
      value - The exported to set.
      Returns:
      This builder for chaining.

    • clearExported

      public 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). This is not
needed for unary and binary clauses, which are always exported.
      optional bool exported = 5;
      Returns:
      This builder for chaining.