com.google.ortools.sat.LinearBooleanProblem Class Reference

Inheritance diagram for com.google.ortools.sat.LinearBooleanProblem:

Classes
class	Builder

Public Member Functions
boolean	hasName ()
java.lang.String	getName ()
com.google.protobuf.ByteString	getNameBytes ()
boolean	hasNumVariables ()
int	getNumVariables ()
java.util.List< com.google.ortools.sat.LinearBooleanConstraint >	getConstraintsList ()
java.util.List<? extends com.google.ortools.sat.LinearBooleanConstraintOrBuilder >	getConstraintsOrBuilderList ()
int	getConstraintsCount ()
com.google.ortools.sat.LinearBooleanConstraint	getConstraints (int index)
com.google.ortools.sat.LinearBooleanConstraintOrBuilder	getConstraintsOrBuilder (int index)
boolean	hasObjective ()
com.google.ortools.sat.LinearObjective	getObjective ()
com.google.ortools.sat.LinearObjectiveOrBuilder	getObjectiveOrBuilder ()
com.google.protobuf.ProtocolStringList	getVarNamesList ()
int	getVarNamesCount ()
java.lang.String	getVarNames (int index)
com.google.protobuf.ByteString	getVarNamesBytes (int index)
boolean	hasAssignment ()
com.google.ortools.sat.BooleanAssignment	getAssignment ()
com.google.ortools.sat.BooleanAssignmentOrBuilder	getAssignmentOrBuilder ()
boolean	hasOriginalNumVariables ()
int	getOriginalNumVariables ()
final boolean	isInitialized ()
void	writeTo (com.google.protobuf.CodedOutputStream output) throws java.io.IOException
int	getSerializedSize ()
boolean	equals (final java.lang.Object obj)
int	hashCode ()
Builder	newBuilderForType ()
Builder	toBuilder ()
com.google.protobuf.Parser< LinearBooleanProblem >	getParserForType ()
com.google.ortools.sat.LinearBooleanProblem	getDefaultInstanceForType ()

Static Public Member Functions
static final com.google.protobuf.Descriptors.Descriptor	getDescriptor ()
static com.google.ortools.sat.LinearBooleanProblem	parseFrom (java.nio.ByteBuffer data) throws com.google.protobuf.InvalidProtocolBufferException
static com.google.ortools.sat.LinearBooleanProblem	parseFrom (java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
static com.google.ortools.sat.LinearBooleanProblem	parseFrom (com.google.protobuf.ByteString data) throws com.google.protobuf.InvalidProtocolBufferException
static com.google.ortools.sat.LinearBooleanProblem	parseFrom (com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
static com.google.ortools.sat.LinearBooleanProblem	parseFrom (byte[] data) throws com.google.protobuf.InvalidProtocolBufferException
static com.google.ortools.sat.LinearBooleanProblem	parseFrom (byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
static com.google.ortools.sat.LinearBooleanProblem	parseFrom (java.io.InputStream input) throws java.io.IOException
static com.google.ortools.sat.LinearBooleanProblem	parseFrom (java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
static com.google.ortools.sat.LinearBooleanProblem	parseDelimitedFrom (java.io.InputStream input) throws java.io.IOException
static com.google.ortools.sat.LinearBooleanProblem	parseDelimitedFrom (java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
static com.google.ortools.sat.LinearBooleanProblem	parseFrom (com.google.protobuf.CodedInputStream input) throws java.io.IOException
static com.google.ortools.sat.LinearBooleanProblem	parseFrom (com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
static Builder	newBuilder ()
static Builder	newBuilder (com.google.ortools.sat.LinearBooleanProblem prototype)
static com.google.ortools.sat.LinearBooleanProblem	getDefaultInstance ()
static com.google.protobuf.Parser< LinearBooleanProblem >	parser ()

Static Public Attributes
static final int	NAME_FIELD_NUMBER = 1
static final int	NUM_VARIABLES_FIELD_NUMBER = 3
static final int	CONSTRAINTS_FIELD_NUMBER = 4
static final int	OBJECTIVE_FIELD_NUMBER = 5
static final int	VAR_NAMES_FIELD_NUMBER = 6
static final int	ASSIGNMENT_FIELD_NUMBER = 7
static final int	ORIGINAL_NUM_VARIABLES_FIELD_NUMBER = 8
static final com.google.protobuf.Parser< LinearBooleanProblem >	PARSER

Protected Member Functions
java.lang.Object	newInstance (UnusedPrivateParameter unused)
com.google.protobuf.GeneratedMessageV3.FieldAccessorTable	internalGetFieldAccessorTable ()
Builder	newBuilderForType (com.google.protobuf.GeneratedMessageV3.BuilderParent parent)

Detailed Description

A linear Boolean problem.

Protobuf type operations_research.sat.LinearBooleanProblem

Definition at line 14 of file LinearBooleanProblem.java.

Member Function Documentation

equals()

boolean com.google.ortools.sat.LinearBooleanProblem.equals

(

final java.lang.Object

obj

)

Definition at line 461 of file LinearBooleanProblem.java.

getAssignment()

com.google.ortools.sat.BooleanAssignment com.google.ortools.sat.LinearBooleanProblem.getAssignment

(

)

Stores an assignment of the problem variables. That may be an initial
feasible solution, just a partial assignment or the optimal solution.

optional .operations_research.sat.BooleanAssignment assignment = 7;

Returns

The assignment.

Implements com.google.ortools.sat.LinearBooleanProblemOrBuilder.

Definition at line 331 of file LinearBooleanProblem.java.

getAssignmentOrBuilder()

com.google.ortools.sat.BooleanAssignmentOrBuilder com.google.ortools.sat.LinearBooleanProblem.getAssignmentOrBuilder

(

)

Stores an assignment of the problem variables. That may be an initial
feasible solution, just a partial assignment or the optimal solution.

optional .operations_research.sat.BooleanAssignment assignment = 7;

Implements com.google.ortools.sat.LinearBooleanProblemOrBuilder.

Definition at line 343 of file LinearBooleanProblem.java.

getConstraints()

com.google.ortools.sat.LinearBooleanConstraint com.google.ortools.sat.LinearBooleanProblem.getConstraints

(

int

index

)

The constraints of the problem.

repeated .operations_research.sat.LinearBooleanConstraint constraints = 4;

Implements com.google.ortools.sat.LinearBooleanProblemOrBuilder.

Definition at line 188 of file LinearBooleanProblem.java.

getConstraintsCount()

int com.google.ortools.sat.LinearBooleanProblem.getConstraintsCount

(

)

The constraints of the problem.

repeated .operations_research.sat.LinearBooleanConstraint constraints = 4;

Implements com.google.ortools.sat.LinearBooleanProblemOrBuilder.

Definition at line 177 of file LinearBooleanProblem.java.

getConstraintsList()

java.util.List< com.google.ortools.sat.LinearBooleanConstraint > com.google.ortools.sat.LinearBooleanProblem.getConstraintsList

(

)

The constraints of the problem.

repeated .operations_research.sat.LinearBooleanConstraint constraints = 4;

Implements com.google.ortools.sat.LinearBooleanProblemOrBuilder.

Definition at line 154 of file LinearBooleanProblem.java.

getConstraintsOrBuilder()

com.google.ortools.sat.LinearBooleanConstraintOrBuilder com.google.ortools.sat.LinearBooleanProblem.getConstraintsOrBuilder

(

int

index

)

The constraints of the problem.

repeated .operations_research.sat.LinearBooleanConstraint constraints = 4;

Implements com.google.ortools.sat.LinearBooleanProblemOrBuilder.

Definition at line 199 of file LinearBooleanProblem.java.

getConstraintsOrBuilderList()

java.util.List<? extends com.google.ortools.sat.LinearBooleanConstraintOrBuilder > com.google.ortools.sat.LinearBooleanProblem.getConstraintsOrBuilderList

(

)

The constraints of the problem.

repeated .operations_research.sat.LinearBooleanConstraint constraints = 4;

Implements com.google.ortools.sat.LinearBooleanProblemOrBuilder.

Definition at line 166 of file LinearBooleanProblem.java.

getDefaultInstance()

static com.google.ortools.sat.LinearBooleanProblem com.google.ortools.sat.LinearBooleanProblem.getDefaultInstance ( )

static

Definition at line 2034 of file LinearBooleanProblem.java.

getDefaultInstanceForType()

com.google.ortools.sat.LinearBooleanProblem com.google.ortools.sat.LinearBooleanProblem.getDefaultInstanceForType

(

)

Definition at line 2070 of file LinearBooleanProblem.java.

getDescriptor()

static final com.google.protobuf.Descriptors.Descriptor com.google.ortools.sat.LinearBooleanProblem.getDescriptor ( )

static

Definition at line 38 of file LinearBooleanProblem.java.

getName()

java.lang.String com.google.ortools.sat.LinearBooleanProblem.getName

(

)

The name of the problem.

optional string name = 1 [default = ""];

Returns

The name.

Implements com.google.ortools.sat.LinearBooleanProblemOrBuilder.

Definition at line 75 of file LinearBooleanProblem.java.

getNameBytes()

com.google.protobuf.ByteString com.google.ortools.sat.LinearBooleanProblem.getNameBytes

(

)

The name of the problem.

optional string name = 1 [default = ""];

Returns

The bytes for name.

Implements com.google.ortools.sat.LinearBooleanProblemOrBuilder.

Definition at line 99 of file LinearBooleanProblem.java.

getNumVariables()

int com.google.ortools.sat.LinearBooleanProblem.getNumVariables

(

)

The number of variables in the problem.
All the signed representation of the problem literals must be in
[-num_variables, num_variables], excluding 0.

optional int32 num_variables = 3;

Returns

The numVariables.

Implements com.google.ortools.sat.LinearBooleanProblemOrBuilder.

Definition at line 139 of file LinearBooleanProblem.java.

getObjective()

com.google.ortools.sat.LinearObjective com.google.ortools.sat.LinearBooleanProblem.getObjective

(

)

The objective of the problem.
If left empty, we just have a satisfiability problem.

optional .operations_research.sat.LinearObjective objective = 5;

Returns

The objective.

Implements com.google.ortools.sat.LinearBooleanProblemOrBuilder.

Definition at line 229 of file LinearBooleanProblem.java.

getObjectiveOrBuilder()

com.google.ortools.sat.LinearObjectiveOrBuilder com.google.ortools.sat.LinearBooleanProblem.getObjectiveOrBuilder

(

)

The objective of the problem.
If left empty, we just have a satisfiability problem.

optional .operations_research.sat.LinearObjective objective = 5;

Implements com.google.ortools.sat.LinearBooleanProblemOrBuilder.

Definition at line 241 of file LinearBooleanProblem.java.

getOriginalNumVariables()

int com.google.ortools.sat.LinearBooleanProblem.getOriginalNumVariables

(

)

Hack: When converting a wcnf formulat to a LinearBooleanProblem, extra
variables need to be created. This stores the number of variables in the
original problem (which are in one to one correspondence with the first
variables of this problem).

optional int32 original_num_variables = 8;

Returns

The originalNumVariables.

Implements com.google.ortools.sat.LinearBooleanProblemOrBuilder.

Definition at line 376 of file LinearBooleanProblem.java.

getParserForType()

com.google.protobuf.Parser< LinearBooleanProblem > com.google.ortools.sat.LinearBooleanProblem.getParserForType

(

)

Definition at line 2065 of file LinearBooleanProblem.java.

getSerializedSize()

int com.google.ortools.sat.LinearBooleanProblem.getSerializedSize

(

)

Definition at line 419 of file LinearBooleanProblem.java.

getVarNames()

java.lang.String com.google.ortools.sat.LinearBooleanProblem.getVarNames

(

int

index

)

The names of the problem variables. The variables index are 0-based and
var_names[i] will be the name of the i-th variable which correspond to
literals +(i + 1) or -(i + 1). This is optional and can be left empty.

repeated string var_names = 6;

Parameters

index

The index of the element to return.

Returns

The varNames at the given index.

Implements com.google.ortools.sat.LinearBooleanProblemOrBuilder.

Definition at line 287 of file LinearBooleanProblem.java.

getVarNamesBytes()

com.google.protobuf.ByteString com.google.ortools.sat.LinearBooleanProblem.getVarNamesBytes

(

int

index

)

The names of the problem variables. The variables index are 0-based and
var_names[i] will be the name of the i-th variable which correspond to
literals +(i + 1) or -(i + 1). This is optional and can be left empty.

repeated string var_names = 6;

Parameters

index

The index of the value to return.

Returns

The bytes of the varNames at the given index.

Implements com.google.ortools.sat.LinearBooleanProblemOrBuilder.

Definition at line 302 of file LinearBooleanProblem.java.

getVarNamesCount()

int com.google.ortools.sat.LinearBooleanProblem.getVarNamesCount

(

)

The names of the problem variables. The variables index are 0-based and
var_names[i] will be the name of the i-th variable which correspond to
literals +(i + 1) or -(i + 1). This is optional and can be left empty.

repeated string var_names = 6;

Returns

The count of varNames.

Implements com.google.ortools.sat.LinearBooleanProblemOrBuilder.

Definition at line 273 of file LinearBooleanProblem.java.

getVarNamesList()

com.google.protobuf.ProtocolStringList com.google.ortools.sat.LinearBooleanProblem.getVarNamesList

(

)

The names of the problem variables. The variables index are 0-based and
var_names[i] will be the name of the i-th variable which correspond to
literals +(i + 1) or -(i + 1). This is optional and can be left empty.

repeated string var_names = 6;

Returns

A list containing the varNames.

Implements com.google.ortools.sat.LinearBooleanProblemOrBuilder.

Definition at line 260 of file LinearBooleanProblem.java.

hasAssignment()

boolean com.google.ortools.sat.LinearBooleanProblem.hasAssignment

(

)

Stores an assignment of the problem variables. That may be an initial
feasible solution, just a partial assignment or the optimal solution.

optional .operations_research.sat.BooleanAssignment assignment = 7;

Returns

Whether the assignment field is set.

Implements com.google.ortools.sat.LinearBooleanProblemOrBuilder.

Definition at line 318 of file LinearBooleanProblem.java.

hashCode()

int com.google.ortools.sat.LinearBooleanProblem.hashCode

(

)

Definition at line 504 of file LinearBooleanProblem.java.

hasName()

boolean com.google.ortools.sat.LinearBooleanProblem.hasName

(

)

The name of the problem.

optional string name = 1 [default = ""];

Returns

Whether the name field is set.

Implements com.google.ortools.sat.LinearBooleanProblemOrBuilder.

Definition at line 63 of file LinearBooleanProblem.java.

hasNumVariables()

boolean com.google.ortools.sat.LinearBooleanProblem.hasNumVariables

(

)

The number of variables in the problem.
All the signed representation of the problem literals must be in
[-num_variables, num_variables], excluding 0.

optional int32 num_variables = 3;

Returns

Whether the numVariables field is set.

Implements com.google.ortools.sat.LinearBooleanProblemOrBuilder.

Definition at line 125 of file LinearBooleanProblem.java.

hasObjective()

boolean com.google.ortools.sat.LinearBooleanProblem.hasObjective

(

)

The objective of the problem.
If left empty, we just have a satisfiability problem.

optional .operations_research.sat.LinearObjective objective = 5;

Returns

Whether the objective field is set.

Implements com.google.ortools.sat.LinearBooleanProblemOrBuilder.

Definition at line 216 of file LinearBooleanProblem.java.

hasOriginalNumVariables()

boolean com.google.ortools.sat.LinearBooleanProblem.hasOriginalNumVariables

(

)

Hack: When converting a wcnf formulat to a LinearBooleanProblem, extra
variables need to be created. This stores the number of variables in the
original problem (which are in one to one correspondence with the first
variables of this problem).

optional int32 original_num_variables = 8;

Returns

Whether the originalNumVariables field is set.

Implements com.google.ortools.sat.LinearBooleanProblemOrBuilder.

Definition at line 361 of file LinearBooleanProblem.java.

internalGetFieldAccessorTable()

com.google.protobuf.GeneratedMessageV3.FieldAccessorTable com.google.ortools.sat.LinearBooleanProblem.internalGetFieldAccessorTable ( )

protected

Definition at line 44 of file LinearBooleanProblem.java.

isInitialized()

final boolean com.google.ortools.sat.LinearBooleanProblem.isInitialized

(

)

Definition at line 382 of file LinearBooleanProblem.java.

newBuilder() [1/2]

static Builder com.google.ortools.sat.LinearBooleanProblem.newBuilder ( )

static

Definition at line 617 of file LinearBooleanProblem.java.

newBuilder() [2/2]

static Builder com.google.ortools.sat.LinearBooleanProblem.newBuilder ( com.google.ortools.sat.LinearBooleanProblem prototype )

static

Definition at line 620 of file LinearBooleanProblem.java.

newBuilderForType() [1/2]

Builder com.google.ortools.sat.LinearBooleanProblem.newBuilderForType

(

)

Definition at line 616 of file LinearBooleanProblem.java.

newBuilderForType() [2/2]

Builder com.google.ortools.sat.LinearBooleanProblem.newBuilderForType ( com.google.protobuf.GeneratedMessageV3.BuilderParent parent )

protected

Definition at line 630 of file LinearBooleanProblem.java.

newInstance()

java.lang.Object com.google.ortools.sat.LinearBooleanProblem.newInstance ( UnusedPrivateParameter unused )

protected

Definition at line 32 of file LinearBooleanProblem.java.

parseDelimitedFrom() [1/2]

static com.google.ortools.sat.LinearBooleanProblem com.google.ortools.sat.LinearBooleanProblem.parseDelimitedFrom ( java.io.InputStream input ) throws java.io.IOException

static

Definition at line 588 of file LinearBooleanProblem.java.

parseDelimitedFrom() [2/2]

static com.google.ortools.sat.LinearBooleanProblem com.google.ortools.sat.LinearBooleanProblem.parseDelimitedFrom ( java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry ) throws java.io.IOException

static

Definition at line 594 of file LinearBooleanProblem.java.

parseFrom() [1/10]

static com.google.ortools.sat.LinearBooleanProblem com.google.ortools.sat.LinearBooleanProblem.parseFrom ( byte[] data ) throws com.google.protobuf.InvalidProtocolBufferException

static

Definition at line 565 of file LinearBooleanProblem.java.

parseFrom() [2/10]

static com.google.ortools.sat.LinearBooleanProblem com.google.ortools.sat.LinearBooleanProblem.parseFrom ( byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry ) throws com.google.protobuf.InvalidProtocolBufferException

static

Definition at line 569 of file LinearBooleanProblem.java.

parseFrom() [3/10]

static com.google.ortools.sat.LinearBooleanProblem com.google.ortools.sat.LinearBooleanProblem.parseFrom ( com.google.protobuf.ByteString data ) throws com.google.protobuf.InvalidProtocolBufferException

static

Definition at line 554 of file LinearBooleanProblem.java.

parseFrom() [4/10]

static com.google.ortools.sat.LinearBooleanProblem com.google.ortools.sat.LinearBooleanProblem.parseFrom ( com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry ) throws com.google.protobuf.InvalidProtocolBufferException

static

Definition at line 559 of file LinearBooleanProblem.java.

parseFrom() [5/10]

static com.google.ortools.sat.LinearBooleanProblem com.google.ortools.sat.LinearBooleanProblem.parseFrom ( com.google.protobuf.CodedInputStream input ) throws java.io.IOException

static

Definition at line 601 of file LinearBooleanProblem.java.

parseFrom() [6/10]

static com.google.ortools.sat.LinearBooleanProblem com.google.ortools.sat.LinearBooleanProblem.parseFrom ( com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry ) throws java.io.IOException

static

Definition at line 607 of file LinearBooleanProblem.java.

parseFrom() [7/10]

static com.google.ortools.sat.LinearBooleanProblem com.google.ortools.sat.LinearBooleanProblem.parseFrom ( java.io.InputStream input ) throws java.io.IOException

static

Definition at line 575 of file LinearBooleanProblem.java.

parseFrom() [8/10]

static com.google.ortools.sat.LinearBooleanProblem com.google.ortools.sat.LinearBooleanProblem.parseFrom ( java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry ) throws java.io.IOException

static

Definition at line 580 of file LinearBooleanProblem.java.

parseFrom() [9/10]

static com.google.ortools.sat.LinearBooleanProblem com.google.ortools.sat.LinearBooleanProblem.parseFrom ( java.nio.ByteBuffer data ) throws com.google.protobuf.InvalidProtocolBufferException

static

Definition at line 543 of file LinearBooleanProblem.java.

parseFrom() [10/10]

static com.google.ortools.sat.LinearBooleanProblem com.google.ortools.sat.LinearBooleanProblem.parseFrom ( java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry ) throws com.google.protobuf.InvalidProtocolBufferException

static

Definition at line 548 of file LinearBooleanProblem.java.

parser()

static com.google.protobuf.Parser< LinearBooleanProblem > com.google.ortools.sat.LinearBooleanProblem.parser ( )

static

Definition at line 2060 of file LinearBooleanProblem.java.

toBuilder()

Builder com.google.ortools.sat.LinearBooleanProblem.toBuilder

(

)

Definition at line 624 of file LinearBooleanProblem.java.

writeTo()

void com.google.ortools.sat.LinearBooleanProblem.writeTo

(

com.google.protobuf.CodedOutputStream

output

)

throws java.io.IOException

Definition at line 392 of file LinearBooleanProblem.java.

Member Data Documentation

ASSIGNMENT_FIELD_NUMBER

final int com.google.ortools.sat.LinearBooleanProblem.ASSIGNMENT_FIELD_NUMBER = 7

static

Definition at line 306 of file LinearBooleanProblem.java.

CONSTRAINTS_FIELD_NUMBER

final int com.google.ortools.sat.LinearBooleanProblem.CONSTRAINTS_FIELD_NUMBER = 4

static

Definition at line 143 of file LinearBooleanProblem.java.

NAME_FIELD_NUMBER

final int com.google.ortools.sat.LinearBooleanProblem.NAME_FIELD_NUMBER = 1

static

Definition at line 51 of file LinearBooleanProblem.java.

NUM_VARIABLES_FIELD_NUMBER

final int com.google.ortools.sat.LinearBooleanProblem.NUM_VARIABLES_FIELD_NUMBER = 3

static

Definition at line 112 of file LinearBooleanProblem.java.

OBJECTIVE_FIELD_NUMBER

final int com.google.ortools.sat.LinearBooleanProblem.OBJECTIVE_FIELD_NUMBER = 5

static

Definition at line 204 of file LinearBooleanProblem.java.

ORIGINAL_NUM_VARIABLES_FIELD_NUMBER

final int com.google.ortools.sat.LinearBooleanProblem.ORIGINAL_NUM_VARIABLES_FIELD_NUMBER = 8

static

Definition at line 347 of file LinearBooleanProblem.java.

PARSER

final com.google.protobuf.Parser<LinearBooleanProblem> com.google.ortools.sat.LinearBooleanProblem.PARSER

static

Initial value:

= new com.google.protobuf.AbstractParser<LinearBooleanProblem>() {
    @java.lang.Override
    public LinearBooleanProblem parsePartialFrom(
        com.google.protobuf.CodedInputStream input,
        com.google.protobuf.ExtensionRegistryLite extensionRegistry)
        throws com.google.protobuf.InvalidProtocolBufferException {
      Builder builder = newBuilder();
      try {
        builder.mergeFrom(input, extensionRegistry);
      } catch (com.google.protobuf.InvalidProtocolBufferException e) {
        throw e.setUnfinishedMessage(builder.buildPartial());
      } catch (com.google.protobuf.UninitializedMessageException e) {
        throw e.asInvalidProtocolBufferException().setUnfinishedMessage(builder.buildPartial());
      } catch (java.io.IOException e) {
        throw new com.google.protobuf.InvalidProtocolBufferException(e)
            .setUnfinishedMessage(builder.buildPartial());
      }
      return builder.buildPartial();
    }
  }

Definition at line 2039 of file LinearBooleanProblem.java.

VAR_NAMES_FIELD_NUMBER

final int com.google.ortools.sat.LinearBooleanProblem.VAR_NAMES_FIELD_NUMBER = 6

static

Definition at line 245 of file LinearBooleanProblem.java.

---

The documentation for this class was generated from the following file:

• build/java/ortools-java/src/main/java/com/google/ortools/sat/LinearBooleanProblem.java