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;
}
