public boolean isMember(Context ctxt, Value val) { /** @TODO handle variable length! */ try { return (lowerBound.compareTo(val.integerValue()) != 1 && val.integerValue().compareTo(upperBound) == -1); } catch (ComputeError _) { return (false); } }
public final Value generalize(Value other) { return this.generalize(other.integerValue()); }
public int getLength() { Value value = getLengthExpression().getValue(); length = (value == null) ? 0 : value.integerValue().intValue(); return length; }