public class OverbookChecker extends AllowAllConstraintChecker<Overbook>
Overbook
constraintOverbook
Constructor and Description |
---|
OverbookChecker(Overbook o)
Make a new checker.
|
Modifier and Type | Method and Description |
---|---|
boolean |
endsWith(Model i)
Notify for the model that is reached once the reconfiguration has been applied.
|
consume, consume, end, end, end, end, end, end, end, end, end, end, endRunningVMPlacement, getConstraint, getNodes, getVMs, start, start, start, start, start, start, start, start, start, start, startRunningVMPlacement, startsWith, track
public OverbookChecker(Overbook o)
o
- the associated constraintpublic boolean endsWith(Model i)
SatConstraintChecker
endsWith
in interface SatConstraintChecker<Overbook>
endsWith
in class AllowAllConstraintChecker<Overbook>
i
- the modeltrue
iff the model is valid wrt. the constraintCopyright © 2015 University of Nice-Sophia Antipolis. All Rights Reserved.