Java Reference
Java Reference
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
-
index The 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
-
index The 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
-
index The 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: