public class SplitChecker extends AllowAllConstraintChecker<Split>
Split
constraintSplit
Constructor and Description |
---|
SplitChecker(Split s)
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 a)
Allow all the
RunningVMPlacement actions. |
boolean |
startsWith(Model mo)
Notify for the model at the source of the reconfiguration.
|
public SplitChecker(Split s)
s
- the associated constraintpublic boolean endsWith(Model mo)
SatConstraintChecker
endsWith
in interface SatConstraintChecker<Split>
endsWith
in class AllowAllConstraintChecker<Split>
mo
- the modeltrue
iff the model is valid wrt. the constraintpublic boolean startRunningVMPlacement(RunningVMPlacement a)
AllowAllConstraintChecker
RunningVMPlacement
actions.startRunningVMPlacement
in class AllowAllConstraintChecker<Split>
a
- the action to allowtrue
public boolean startsWith(Model mo)
SatConstraintChecker
startsWith
in interface SatConstraintChecker<Split>
startsWith
in class AllowAllConstraintChecker<Split>
mo
- the modeltrue
iff the model is valid wrt. the constraintCopyright © 2015 University of Nice-Sophia Antipolis. All Rights Reserved.