* length.
* @return An array of InequalityTerm.
*/
public InequalityTerm[] getVariables() {
try {
InequalityTerm elementTerm = ArrayType.elementType(taps);
if (input.getTypeTerm().isSettable()
&& elementTerm.isSettable()) {
InequalityTerm[] variable = new InequalityTerm[2];
variable[0] = input.getTypeTerm();
variable[1] = elementTerm;
return variable;
} else if (elementTerm.isSettable()) {
InequalityTerm[] variable = new InequalityTerm[1];
variable[0] = elementTerm;
return variable;
} else if (input.getTypeTerm().isSettable()) {
InequalityTerm[] variable = new InequalityTerm[1];