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

Protected Member Functions
com.google.protobuf.GeneratedMessage.FieldAccessorTable	internalGetFieldAccessorTable ()
Builder	newBuilderForType (com.google.protobuf.GeneratedMessage.BuilderParent parent)

Detailed Description

A linear Boolean problem.

Protobuf type operations_research.sat.LinearBooleanProblem

Definition at line 15 of file LinearBooleanProblem.java.

Member Function Documentation

equals()

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

(

final java.lang.Object

obj

)

Definition at line 464 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 334 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 346 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 191 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 180 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 157 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 202 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 169 of file LinearBooleanProblem.java.

getDefaultInstance()

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

static

Definition at line 1993 of file LinearBooleanProblem.java.

getDefaultInstanceForType()

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

(

)

Definition at line 2029 of file LinearBooleanProblem.java.

getDescriptor()

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

static

Definition at line 41 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 78 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 102 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 142 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 232 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 244 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 379 of file LinearBooleanProblem.java.

getParserForType()

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

(

)

Definition at line 2024 of file LinearBooleanProblem.java.

getSerializedSize()

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

(

)

Definition at line 422 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 290 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 305 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 276 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 263 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 321 of file LinearBooleanProblem.java.

hashCode()

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

(

)

Definition at line 507 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 66 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 128 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 219 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 364 of file LinearBooleanProblem.java.

internalGetFieldAccessorTable()

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

protected

Definition at line 47 of file LinearBooleanProblem.java.

isInitialized()

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

(

)

Definition at line 385 of file LinearBooleanProblem.java.

newBuilder() [1/2]

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

static

Definition at line 620 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 623 of file LinearBooleanProblem.java.

newBuilderForType() [1/2]

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

(

)

Definition at line 619 of file LinearBooleanProblem.java.

newBuilderForType() [2/2]

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

protected

Definition at line 633 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 591 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 597 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 568 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 572 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 557 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 562 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 604 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 610 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 578 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 583 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 546 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 551 of file LinearBooleanProblem.java.

parser()

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

static

Definition at line 2019 of file LinearBooleanProblem.java.

toBuilder()

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

(

)

Definition at line 627 of file LinearBooleanProblem.java.

writeTo()

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

(

com.google.protobuf.CodedOutputStream

output

)

throws java.io.IOException

Definition at line 395 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 309 of file LinearBooleanProblem.java.

CONSTRAINTS_FIELD_NUMBER

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

static

Definition at line 146 of file LinearBooleanProblem.java.

NAME_FIELD_NUMBER

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

static

Definition at line 54 of file LinearBooleanProblem.java.

NUM_VARIABLES_FIELD_NUMBER

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

static

Definition at line 115 of file LinearBooleanProblem.java.

OBJECTIVE_FIELD_NUMBER

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

static

Definition at line 207 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 350 of file LinearBooleanProblem.java.

VAR_NAMES_FIELD_NUMBER

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

static

Definition at line 248 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