com.google.ortools.sat.LinearBooleanProblem Class Reference

Detailed Description

A linear Boolean problem.

Protobuf type operations_research.sat.LinearBooleanProblem

Definition at line 16 of file LinearBooleanProblem.java.

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)

Member Function Documentation

equals()

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

(

final java.lang.Object

obj

)

Definition at line 465 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 335 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 347 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 192 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 181 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 158 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 203 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 170 of file LinearBooleanProblem.java.

getDefaultInstance()

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

static

Definition at line 1994 of file LinearBooleanProblem.java.

getDefaultInstanceForType()

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

(

)

Definition at line 2030 of file LinearBooleanProblem.java.

getDescriptor()

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

static

Definition at line 42 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 79 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 103 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 143 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 233 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 245 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 380 of file LinearBooleanProblem.java.

getParserForType()

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

(

)

Definition at line 2025 of file LinearBooleanProblem.java.

getSerializedSize()

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

(

)

Definition at line 423 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 291 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 306 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 277 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 264 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 322 of file LinearBooleanProblem.java.

hashCode()

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

(

)

Definition at line 508 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 67 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 129 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 220 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 365 of file LinearBooleanProblem.java.

internalGetFieldAccessorTable()

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

protected

Definition at line 48 of file LinearBooleanProblem.java.

isInitialized()

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

(

)

Definition at line 386 of file LinearBooleanProblem.java.

newBuilder() [1/2]

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

static

Definition at line 621 of file LinearBooleanProblem.java.

newBuilder() [2/2]

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

static

Definition at line 624 of file LinearBooleanProblem.java.

newBuilderForType() [1/2]

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

(

)

Definition at line 620 of file LinearBooleanProblem.java.

newBuilderForType() [2/2]

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

protected

Definition at line 634 of file LinearBooleanProblem.java.

parseDelimitedFrom() [1/2]

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

static

Definition at line 592 of file LinearBooleanProblem.java.

parseDelimitedFrom() [2/2]

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

parseFrom() [1/10]

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

static

Definition at line 569 of file LinearBooleanProblem.java.

parseFrom() [2/10]

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

parseFrom() [3/10]

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

parseFrom() [4/10]

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

parseFrom() [5/10]

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

static

Definition at line 605 of file LinearBooleanProblem.java.

parseFrom() [6/10]

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

parseFrom() [7/10]

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

static

Definition at line 579 of file LinearBooleanProblem.java.

parseFrom() [8/10]

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

parseFrom() [9/10]

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

static

Definition at line 547 of file LinearBooleanProblem.java.

parseFrom() [10/10]

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

parser()

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

static

Definition at line 2020 of file LinearBooleanProblem.java.

toBuilder()

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

(

)

Definition at line 628 of file LinearBooleanProblem.java.

writeTo()

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

(

com.google.protobuf.CodedOutputStream

output

)

throws java.io.IOException

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

CONSTRAINTS_FIELD_NUMBER

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

static

Definition at line 147 of file LinearBooleanProblem.java.

NAME_FIELD_NUMBER

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

static

Definition at line 55 of file LinearBooleanProblem.java.

NUM_VARIABLES_FIELD_NUMBER

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

static

Definition at line 116 of file LinearBooleanProblem.java.

OBJECTIVE_FIELD_NUMBER

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

static

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

VAR_NAMES_FIELD_NUMBER

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

static

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