operations_research.sat.Lrat.LratInferredClause Class Reference

Detailed Description

An LRAT inferred clause.

Protobuf type operations_research.sat.LratInferredClause

Definition at line 827 of file Lrat.java.

Inheritance diagram for operations_research.sat.Lrat.LratInferredClause:

Classes
interface	RatInfoOrBuilder
class	RatInfo
class	Builder

Public Member Functions
boolean	hasClauseId ()
long	getClauseId ()
java.util.List< java.lang.Integer >	getLiteralsList ()
int	getLiteralsCount ()
int	getLiterals (int index)
java.util.List< java.lang.Long >	getUnitIdsList ()
int	getUnitIdsCount ()
long	getUnitIds (int index)
java.util.List< operations_research.sat.Lrat.LratInferredClause.RatInfo >	getRatInfosList ()
java.util.List<? extends operations_research.sat.Lrat.LratInferredClause.RatInfoOrBuilder >	getRatInfosOrBuilderList ()
int	getRatInfosCount ()
operations_research.sat.Lrat.LratInferredClause.RatInfo	getRatInfos (int index)
operations_research.sat.Lrat.LratInferredClause.RatInfoOrBuilder	getRatInfosOrBuilder (int index)
boolean	hasExported ()
boolean	getExported ()
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< LratInferredClause >	getParserForType ()
operations_research.sat.Lrat.LratInferredClause	getDefaultInstanceForType ()

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

Static Public Attributes
static final int	CLAUSE_ID_FIELD_NUMBER = 1
static final int	LITERALS_FIELD_NUMBER = 2
static final int	UNIT_IDS_FIELD_NUMBER = 3
static final int	RAT_INFOS_FIELD_NUMBER = 4
static final int	EXPORTED_FIELD_NUMBER = 5

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

Member Function Documentation

equals()

boolean operations_research.sat.Lrat.LratInferredClause.equals

(

final java.lang.Object

obj

)

Definition at line 1820 of file Lrat.java.

getClauseId()

long operations_research.sat.Lrat.LratInferredClause.getClauseId

(

)

optional int64 clause_id = 1;

Returns

The clauseId.

Implements operations_research.sat.Lrat.LratInferredClauseOrBuilder.

Definition at line 1561 of file Lrat.java.

getDefaultInstance()

operations_research.sat.Lrat.LratInferredClause operations_research.sat.Lrat.LratInferredClause.getDefaultInstance ( )

static

Definition at line 2845 of file Lrat.java.

getDefaultInstanceForType()

operations_research.sat.Lrat.LratInferredClause operations_research.sat.Lrat.LratInferredClause.getDefaultInstanceForType

(

)

Definition at line 2881 of file Lrat.java.

getDescriptor()

final com.google.protobuf.Descriptors.Descriptor operations_research.sat.Lrat.LratInferredClause.getDescriptor ( )

static

Definition at line 852 of file Lrat.java.

getExported()

boolean operations_research.sat.Lrat.LratInferredClause.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;

Returns

The exported.

Implements operations_research.sat.Lrat.LratInferredClauseOrBuilder.

Definition at line 1723 of file Lrat.java.

getLiterals()

int operations_research.sat.Lrat.LratInferredClause.getLiterals

(

int

index

)

Literals are represented with LiteralIndex values.

repeated int32 literals = 2 [packed = true];

Parameters

index

The index of the element to return.

Returns

The literals at the given index.

Implements operations_research.sat.Lrat.LratInferredClauseOrBuilder.

Definition at line 1602 of file Lrat.java.

getLiteralsCount()

int operations_research.sat.Lrat.LratInferredClause.getLiteralsCount

(

)

Literals are represented with LiteralIndex values.

repeated int32 literals = 2 [packed = true];

Returns

The count of literals.

Implements operations_research.sat.Lrat.LratInferredClauseOrBuilder.

Definition at line 1590 of file Lrat.java.

getLiteralsList()

java.util.List< java.lang.Integer > operations_research.sat.Lrat.LratInferredClause.getLiteralsList

(

)

Literals are represented with LiteralIndex values.

repeated int32 literals = 2 [packed = true];

Returns

A list containing the literals.

Implements operations_research.sat.Lrat.LratInferredClauseOrBuilder.

Definition at line 1579 of file Lrat.java.

getParserForType()

com.google.protobuf.Parser< LratInferredClause > operations_research.sat.Lrat.LratInferredClause.getParserForType

(

)

Definition at line 2876 of file Lrat.java.

getRatInfos()

operations_research.sat.Lrat.LratInferredClause.RatInfo operations_research.sat.Lrat.LratInferredClause.getRatInfos

(

int

index

)

repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;

Implements operations_research.sat.Lrat.LratInferredClauseOrBuilder.

Definition at line 1684 of file Lrat.java.

getRatInfosCount()

int operations_research.sat.Lrat.LratInferredClause.getRatInfosCount

(

)

repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;

Implements operations_research.sat.Lrat.LratInferredClauseOrBuilder.

Definition at line 1677 of file Lrat.java.

getRatInfosList()

java.util.List< operations_research.sat.Lrat.LratInferredClause.RatInfo > operations_research.sat.Lrat.LratInferredClause.getRatInfosList

(

)

repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;

Implements operations_research.sat.Lrat.LratInferredClauseOrBuilder.

Definition at line 1662 of file Lrat.java.

getRatInfosOrBuilder()

operations_research.sat.Lrat.LratInferredClause.RatInfoOrBuilder operations_research.sat.Lrat.LratInferredClause.getRatInfosOrBuilder

(

int

index

)

repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;

Implements operations_research.sat.Lrat.LratInferredClauseOrBuilder.

Definition at line 1691 of file Lrat.java.

getRatInfosOrBuilderList()

java.util.List<? extends operations_research.sat.Lrat.LratInferredClause.RatInfoOrBuilder > operations_research.sat.Lrat.LratInferredClause.getRatInfosOrBuilderList

(

)

repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;

Implements operations_research.sat.Lrat.LratInferredClauseOrBuilder.

Definition at line 1670 of file Lrat.java.

getSerializedSize()

int operations_research.sat.Lrat.LratInferredClause.getSerializedSize

(

)

Definition at line 1769 of file Lrat.java.

getUnitIds()

long operations_research.sat.Lrat.LratInferredClause.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];

Parameters

index

The index of the element to return.

Returns

The unitIds at the given index.

Implements operations_research.sat.Lrat.LratInferredClauseOrBuilder.

Definition at line 1650 of file Lrat.java.

getUnitIdsCount()

int operations_research.sat.Lrat.LratInferredClause.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];

Returns

The count of unitIds.

Implements operations_research.sat.Lrat.LratInferredClauseOrBuilder.

Definition at line 1636 of file Lrat.java.

getUnitIdsList()

java.util.List< java.lang.Long > operations_research.sat.Lrat.LratInferredClause.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];

Returns

A list containing the unitIds.

Implements operations_research.sat.Lrat.LratInferredClauseOrBuilder.

Definition at line 1623 of file Lrat.java.

hasClauseId()

boolean operations_research.sat.Lrat.LratInferredClause.hasClauseId

(

)

optional int64 clause_id = 1;

Returns

Whether the clauseId field is set.

Implements operations_research.sat.Lrat.LratInferredClauseOrBuilder.

Definition at line 1553 of file Lrat.java.

hasExported()

boolean operations_research.sat.Lrat.LratInferredClause.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;

Returns

Whether the exported field is set.

Implements operations_research.sat.Lrat.LratInferredClauseOrBuilder.

Definition at line 1709 of file Lrat.java.

hashCode()

int operations_research.sat.Lrat.LratInferredClause.hashCode

(

)

Definition at line 1850 of file Lrat.java.

internalGetFieldAccessorTable()

com.google.protobuf.GeneratedMessage.FieldAccessorTable operations_research.sat.Lrat.LratInferredClause.internalGetFieldAccessorTable ( )

protected

Definition at line 858 of file Lrat.java.

isInitialized()

final boolean operations_research.sat.Lrat.LratInferredClause.isInitialized

(

)

Definition at line 1729 of file Lrat.java.

newBuilder() [1/2]

Builder operations_research.sat.Lrat.LratInferredClause.newBuilder ( )

static

Definition at line 1957 of file Lrat.java.

newBuilder() [2/2]

Builder operations_research.sat.Lrat.LratInferredClause.newBuilder ( operations_research.sat.Lrat.LratInferredClause prototype )

static

Definition at line 1960 of file Lrat.java.

newBuilderForType() [1/2]

Builder operations_research.sat.Lrat.LratInferredClause.newBuilderForType

(

)

Definition at line 1956 of file Lrat.java.

newBuilderForType() [2/2]

Builder operations_research.sat.Lrat.LratInferredClause.newBuilderForType ( com.google.protobuf.GeneratedMessage.BuilderParent parent )

protected

Definition at line 1970 of file Lrat.java.

parseDelimitedFrom() [1/2]

operations_research.sat.Lrat.LratInferredClause operations_research.sat.Lrat.LratInferredClause.parseDelimitedFrom ( java.io.InputStream input ) throws java.io.IOException

static

Definition at line 1928 of file Lrat.java.

parseDelimitedFrom() [2/2]

operations_research.sat.Lrat.LratInferredClause operations_research.sat.Lrat.LratInferredClause.parseDelimitedFrom ( java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry ) throws java.io.IOException

static

Definition at line 1934 of file Lrat.java.

parseFrom() [1/10]

operations_research.sat.Lrat.LratInferredClause operations_research.sat.Lrat.LratInferredClause.parseFrom ( byte[] data ) throws com.google.protobuf.InvalidProtocolBufferException

static

Definition at line 1905 of file Lrat.java.

parseFrom() [2/10]

operations_research.sat.Lrat.LratInferredClause operations_research.sat.Lrat.LratInferredClause.parseFrom ( byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry ) throws com.google.protobuf.InvalidProtocolBufferException

static

Definition at line 1909 of file Lrat.java.

parseFrom() [3/10]

operations_research.sat.Lrat.LratInferredClause operations_research.sat.Lrat.LratInferredClause.parseFrom ( com.google.protobuf.ByteString data ) throws com.google.protobuf.InvalidProtocolBufferException

static

Definition at line 1894 of file Lrat.java.

parseFrom() [4/10]

operations_research.sat.Lrat.LratInferredClause operations_research.sat.Lrat.LratInferredClause.parseFrom ( com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry ) throws com.google.protobuf.InvalidProtocolBufferException

static

Definition at line 1899 of file Lrat.java.

parseFrom() [5/10]

operations_research.sat.Lrat.LratInferredClause operations_research.sat.Lrat.LratInferredClause.parseFrom ( com.google.protobuf.CodedInputStream input ) throws java.io.IOException

static

Definition at line 1941 of file Lrat.java.

parseFrom() [6/10]

operations_research.sat.Lrat.LratInferredClause operations_research.sat.Lrat.LratInferredClause.parseFrom ( com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry ) throws java.io.IOException

static

Definition at line 1947 of file Lrat.java.

parseFrom() [7/10]

operations_research.sat.Lrat.LratInferredClause operations_research.sat.Lrat.LratInferredClause.parseFrom ( java.io.InputStream input ) throws java.io.IOException

static

Definition at line 1915 of file Lrat.java.

parseFrom() [8/10]

operations_research.sat.Lrat.LratInferredClause operations_research.sat.Lrat.LratInferredClause.parseFrom ( java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry ) throws java.io.IOException

static

Definition at line 1920 of file Lrat.java.

parseFrom() [9/10]

operations_research.sat.Lrat.LratInferredClause operations_research.sat.Lrat.LratInferredClause.parseFrom ( java.nio.ByteBuffer data ) throws com.google.protobuf.InvalidProtocolBufferException

static

Definition at line 1883 of file Lrat.java.

parseFrom() [10/10]

operations_research.sat.Lrat.LratInferredClause operations_research.sat.Lrat.LratInferredClause.parseFrom ( java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry ) throws com.google.protobuf.InvalidProtocolBufferException

static

Definition at line 1888 of file Lrat.java.

parser()

com.google.protobuf.Parser< LratInferredClause > operations_research.sat.Lrat.LratInferredClause.parser ( )

static

Definition at line 2871 of file Lrat.java.

toBuilder()

Builder operations_research.sat.Lrat.LratInferredClause.toBuilder

(

)

Definition at line 1964 of file Lrat.java.

writeTo()

void operations_research.sat.Lrat.LratInferredClause.writeTo

(

com.google.protobuf.CodedOutputStream

output

)

throws java.io.IOException

Definition at line 1739 of file Lrat.java.

Member Data Documentation

CLAUSE_ID_FIELD_NUMBER

final int operations_research.sat.Lrat.LratInferredClause.CLAUSE_ID_FIELD_NUMBER = 1

static

Definition at line 1546 of file Lrat.java.

EXPORTED_FIELD_NUMBER

final int operations_research.sat.Lrat.LratInferredClause.EXPORTED_FIELD_NUMBER = 5

static

Definition at line 1696 of file Lrat.java.

LITERALS_FIELD_NUMBER

final int operations_research.sat.Lrat.LratInferredClause.LITERALS_FIELD_NUMBER = 2

static

Definition at line 1565 of file Lrat.java.

RAT_INFOS_FIELD_NUMBER

final int operations_research.sat.Lrat.LratInferredClause.RAT_INFOS_FIELD_NUMBER = 4

static

Definition at line 1655 of file Lrat.java.

UNIT_IDS_FIELD_NUMBER

final int operations_research.sat.Lrat.LratInferredClause.UNIT_IDS_FIELD_NUMBER = 3

static

Definition at line 1607 of file Lrat.java.

---

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

• build/java/ortools-java/src/main/java/operations_research/sat/Lrat.java