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 Summary
-
Method Summary
Modifier and Type Method Description Set<VM>
getMisPlacedVMs(Instance m)
Get the VMs that are supposed to be mis-placed.boolean
inject(Parameters ps, ReconfigurationProblem rp)
Inject the constraint into the problem.
-
Constructor Details
-
Method Details
-
inject
public boolean inject(Parameters ps, ReconfigurationProblem rp) throws org.chocosolver.solver.exception.SolverExceptionDescription copied from interface:Injectable
Inject the constraint into the problem.- Specified by:
inject
in interfaceInjectable
- Parameters:
ps
- the scheduler parametersrp
- 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
Description copied from interface:MisplacedVMsEstimator
Get the VMs that are supposed to be mis-placed.- Specified by:
getMisPlacedVMs
in interfaceMisplacedVMsEstimator
- Parameters:
m
- the instance to inspect- Returns:
- a set of VMs identifier that may be empty (when no VMs are misplaced)
-