sclass Probabilistic implements IProbabilistic {
  IProbabilisticScheduler ps;
  
  public void setScheduler(IProbabilisticScheduler ps) {
    this.ps = ps;
  }
}