Class CSchedule

java.lang.Object
org.btrplace.safeplace.testing.verification.btrplace.CSchedule
All Implemented Interfaces:
ChocoConstraint, Injectable, MisplacedVMsEstimator

public class CSchedule
extends Object
implements ChocoConstraint
Author:
Fabien Hermenier
  • Constructor Details

  • Method Details

    • inject

      public boolean inject​(Parameters ps, ReconfigurationProblem rp) throws org.chocosolver.solver.exception.SolverException
      Description copied from interface: Injectable
      Inject the constraint into the problem.
      Specified by:
      inject in interface Injectable
      Parameters:
      ps - the scheduler parameters
      rp - the problem
      Returns:
      true if the injection succeeded, false if the problem is sure to not have a solution
      Throws:
      org.chocosolver.solver.exception.SolverException
    • getMisPlacedVMs

      public Set<VM> getMisPlacedVMs​(Instance m)
      Description copied from interface: MisplacedVMsEstimator
      Get the VMs that are supposed to be mis-placed.
      Specified by:
      getMisPlacedVMs in interface MisplacedVMsEstimator
      Parameters:
      m - the instance to inspect
      Returns:
      a set of VMs identifier that may be empty (when no VMs are misplaced)