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 ()
Public Member Functions inherited from com.google.ortools.sat.LinearBooleanProblemOrBuilder

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 14 of file LinearBooleanProblem.java.

Member Function Documentation

equals()

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

(

final java.lang.Object

obj

)

Definition at line 463 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 333 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 345 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 190 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 179 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 156 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 201 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 168 of file LinearBooleanProblem.java.

getDefaultInstance()

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

static

Definition at line 1992 of file LinearBooleanProblem.java.

getDefaultInstanceForType()

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

(

)

Definition at line 2028 of file LinearBooleanProblem.java.

getDescriptor()

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

static

Definition at line 40 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 77 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 101 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 141 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 231 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 243 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 378 of file LinearBooleanProblem.java.

getParserForType()

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

(

)

Definition at line 2023 of file LinearBooleanProblem.java.

getSerializedSize()

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

(

)

Definition at line 421 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 289 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 304 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 275 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 262 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 320 of file LinearBooleanProblem.java.

hashCode()

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

(

)

Definition at line 506 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 65 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 127 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 218 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 363 of file LinearBooleanProblem.java.

internalGetFieldAccessorTable()

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

protected

Definition at line 46 of file LinearBooleanProblem.java.

isInitialized()

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

(

)

Definition at line 384 of file LinearBooleanProblem.java.

newBuilder() [1/2]

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

static

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

newBuilderForType() [1/2]

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

(

)

Definition at line 618 of file LinearBooleanProblem.java.

newBuilderForType() [2/2]

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

protected

Definition at line 632 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 590 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 596 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 567 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 571 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 556 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 561 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 603 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 609 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 577 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 582 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 545 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 550 of file LinearBooleanProblem.java.

parser()

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

static

Definition at line 2018 of file LinearBooleanProblem.java.

toBuilder()

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

(

)

Definition at line 626 of file LinearBooleanProblem.java.

writeTo()

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

(

com.google.protobuf.CodedOutputStream

output

)

throws java.io.IOException

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

CONSTRAINTS_FIELD_NUMBER

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

static

Definition at line 145 of file LinearBooleanProblem.java.

NAME_FIELD_NUMBER

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

static

Definition at line 53 of file LinearBooleanProblem.java.

NUM_VARIABLES_FIELD_NUMBER

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

static

Definition at line 114 of file LinearBooleanProblem.java.

OBJECTIVE_FIELD_NUMBER

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

static

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

VAR_NAMES_FIELD_NUMBER

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

static

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