Java Reference

Java Reference

CircuitConstraintProtoOrBuilder

Detailed Description

Definition at line 6 of file CircuitConstraintProtoOrBuilder.java.

Public Member Functions

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

Member Function Documentation

◆ getHeads()

int getHeads ( int  index)

repeated int32 heads = 4;

Parameters
indexThe index of the element to return.
Returns
The heads at the given index.

Implemented in CircuitConstraintProto.Builder, and CircuitConstraintProto.

◆ getHeadsCount()

int getHeadsCount ( )

repeated int32 heads = 4;

Returns
The count of heads.

Implemented in CircuitConstraintProto.Builder, and CircuitConstraintProto.

◆ getHeadsList()

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

repeated int32 heads = 4;

Returns
A list containing the heads.

Implemented in CircuitConstraintProto.Builder, and CircuitConstraintProto.

◆ getLiterals()

int getLiterals ( int  index)

repeated int32 literals = 5;

Parameters
indexThe index of the element to return.
Returns
The literals at the given index.

Implemented in CircuitConstraintProto.Builder, and CircuitConstraintProto.

◆ getLiteralsCount()

int getLiteralsCount ( )

repeated int32 literals = 5;

Returns
The count of literals.

Implemented in CircuitConstraintProto.Builder, and CircuitConstraintProto.

◆ getLiteralsList()

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

repeated int32 literals = 5;

Returns
A list containing the literals.

Implemented in CircuitConstraintProto.Builder, and CircuitConstraintProto.

◆ getTails()

int getTails ( int  index)

repeated int32 tails = 3;

Parameters
indexThe index of the element to return.
Returns
The tails at the given index.

Implemented in CircuitConstraintProto.Builder, and CircuitConstraintProto.

◆ getTailsCount()

int getTailsCount ( )

repeated int32 tails = 3;

Returns
The count of tails.

Implemented in CircuitConstraintProto.Builder, and CircuitConstraintProto.

◆ getTailsList()

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

repeated int32 tails = 3;

Returns
A list containing the tails.

Implemented in CircuitConstraintProto.Builder, and CircuitConstraintProto.


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