Java Reference
Java Reference
sat/PartialVariableAssignmentOrBuilder.java
Definition: sat/PartialVariableAssignmentOrBuilder.java:8
java.util.List< java.lang.Integer > getVarsList()
repeated int32 vars = 1;
int getVarsCount()
repeated int32 vars = 1;
int getValuesCount()
repeated int64 values = 2;
int getVars(int index)
repeated int32 vars = 1;
long getValues(int index)
repeated int64 values = 2;
java.util.List< java.lang.Long > getValuesList()
repeated int64 values = 2;