Java Reference
Java Reference
MPArrayConstraintOrBuilder.java
boolean hasResultantVarIndex()
optional int32 resultant_var_index = 2;
int getVarIndex(int index)
int getResultantVarIndex()
optional int32 resultant_var_index = 2;
Definition: MPArrayConstraintOrBuilder.java:8
java.util.List< java.lang.Integer > getVarIndexList()
int getVarIndexCount()