class IndexRangeConstraint extends Constraint implements Writable {

  public CRange getRange() {
    return range;
  }

  public  IndexRangeConstraint(Index index, CRange range);
  public  IndexRangeConstraint();

}