Package | Description |
---|---|
org.btrplace.model.constraint |
Concrete implementation of
SatConstraint . |
Modifier and Type | Method and Description |
---|---|
SatConstraintChecker<Preserve> |
Preserve.getChecker() |
static List<Preserve> |
Preserve.newPreserve(Collection<VM> vms,
String r,
int q)
Make multiple constraints
|
Constructor and Description |
---|
PreserveChecker(Preserve p)
Make a new checker.
|
Copyright © 2015 University of Nice-Sophia Antipolis. All Rights Reserved.