public class FenceChecker extends AllowAllConstraintChecker<Fence>
Fence
constraintFence
Constructor and Description |
---|
FenceChecker(Fence f)
Make a new checker.
|
Modifier and Type | Method and Description |
---|---|
boolean |
endsWith(Model mo)
Notify for the model that is reached once the reconfiguration has been applied.
|
boolean |
startRunningVMPlacement(RunningVMPlacement r)
Allow all the
RunningVMPlacement actions. |
public FenceChecker(Fence f)
f
- the associated constraintpublic boolean startRunningVMPlacement(RunningVMPlacement r)
AllowAllConstraintChecker
RunningVMPlacement
actions.startRunningVMPlacement
in class AllowAllConstraintChecker<Fence>
r
- the action to allowtrue
public boolean endsWith(Model mo)
SatConstraintChecker
endsWith
in interface SatConstraintChecker<Fence>
endsWith
in class AllowAllConstraintChecker<Fence>
mo
- the modeltrue
iff the model is valid wrt. the constraintCopyright © 2015 University of Nice-Sophia Antipolis. All Rights Reserved.