pure interface of class ShuffleTerminal

public class ShuffleTerminal
  extends Shuffle
{
    public ShuffleTerminal(Obj X);
    public int shuffle(int i);
}