public class SleepingChecker extends DenyMyVMsActions<Sleeping>
Sleeping
constraintSleeping
Constructor and Description |
---|
SleepingChecker(Sleeping 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 |
start(SuspendVM a)
Notify for the beginning of an action.
|
consume, consume, start, start, start, start, startRunningVMPlacement
public SleepingChecker(Sleeping s)
s
- the associated constraintpublic boolean start(SuspendVM a)
SatConstraintChecker
start
in interface SatConstraintChecker<Sleeping>
start
in class DenyMyVMsActions<Sleeping>
a
- the action that will be executedtrue
iff the action execution is valid wrt. the constraintpublic boolean endsWith(Model mo)
SatConstraintChecker
endsWith
in interface SatConstraintChecker<Sleeping>
endsWith
in class AllowAllConstraintChecker<Sleeping>
mo
- the modeltrue
iff the model is valid wrt. the constraintCopyright © 2015 University of Nice-Sophia Antipolis. All Rights Reserved.