public class Killed extends SatConstraint
Constructor and Description |
---|
Killed(VM vm)
Make a new discrete constraint.
|
Killed(VM vm,
boolean continuous)
Make a new constraint.
|
Modifier and Type | Method and Description |
---|---|
SatConstraintChecker<Killed> |
getChecker()
Get the validator used to check if a plan satisfies the constraint.
|
static List<Killed> |
newKilled(Collection<VM> vms)
Instantiate discrete constraints for a collection of VMs.
|
String |
toString() |
equals, getInvolvedNodes, getInvolvedVMs, hashCode, isContinuous, isSatisfied, isSatisfied, restrictionToString, setContinuous
public Killed(VM vm)
vm
- the VMs to removepublic Killed(VM vm, boolean continuous)
vm
- the VMs to removecontinuous
- true
for a continuous restrictionpublic static List<Killed> newKilled(Collection<VM> vms)
vms
- the VMs to integratepublic SatConstraintChecker<Killed> getChecker()
SatConstraint
getChecker
in class SatConstraint
SatConstraintChecker
Copyright © 2015 University of Nice-Sophia Antipolis. All Rights Reserved.