com.google.ortools.sat

Interface CircuitConstraintProtoOrBuilder

All Superinterfaces:

com.google.protobuf.MessageLiteOrBuilder, com.google.protobuf.MessageOrBuilder

All Known Implementing Classes:

CircuitConstraintProto, CircuitConstraintProto.Builder

public interface CircuitConstraintProtoOrBuilder
extends com.google.protobuf.MessageOrBuilder

Method Summary

Modifier and Type	Method and Description
int	getHeads(int index) repeated int32 heads = 4;
int	getHeadsCount() repeated int32 heads = 4;
java.util.List<java.lang.Integer>	getHeadsList() repeated int32 heads = 4;
int	getLiterals(int index) repeated int32 literals = 5;
int	getLiteralsCount() repeated int32 literals = 5;
java.util.List<java.lang.Integer>	getLiteralsList() repeated int32 literals = 5;
int	getTails(int index) repeated int32 tails = 3;
int	getTailsCount() repeated int32 tails = 3;
java.util.List<java.lang.Integer>	getTailsList() repeated int32 tails = 3;

Methods inherited from interface com.google.protobuf.MessageOrBuilder

findInitializationErrors, getAllFields, getDefaultInstanceForType, getDescriptorForType, getField, getInitializationErrorString, getOneofFieldDescriptor, getRepeatedField, getRepeatedFieldCount, getUnknownFields, hasField, hasOneof

Methods inherited from interface com.google.protobuf.MessageLiteOrBuilder

isInitialized

Method Detail

getTailsList

java.util.List<java.lang.Integer> getTailsList()

repeated int32 tails = 3;

Returns:

A list containing the tails.

getTailsCount

int getTailsCount()

repeated int32 tails = 3;

Returns:

The count of tails.

getTails

int getTails(int index)

repeated int32 tails = 3;

Parameters:

index - The index of the element to return.

Returns:

The tails at the given index.

getHeadsList

java.util.List<java.lang.Integer> getHeadsList()

repeated int32 heads = 4;

Returns:

A list containing the heads.

getHeadsCount

int getHeadsCount()

repeated int32 heads = 4;

Returns:

The count of heads.

getHeads

int getHeads(int index)

repeated int32 heads = 4;

Parameters:

index - The index of the element to return.

Returns:

The heads at the given index.

getLiteralsList

java.util.List<java.lang.Integer> getLiteralsList()

repeated int32 literals = 5;

Returns:

A list containing the literals.

getLiteralsCount

int getLiteralsCount()

repeated int32 literals = 5;

Returns:

The count of literals.

getLiterals

int getLiterals(int index)

repeated int32 literals = 5;

Parameters:

index - The index of the element to return.

Returns:

The literals at the given index.