/**
 * Copyright (c) 2009-2011, The HATS Consortium. All rights reserved. 
 * This file is licensed under the terms of the Modified BSD License.
 */
package abs.backend.java.scheduling;

import java.util.Random;

/**
 * implement this interface if a scheduler makes random decisions 
 */
public interface UsesRandomSeed {
    void setRandom(Random random);
}