public class KilledChecker extends DenyMyVMsActions<Killed>
Killed
constraintKilled
Constructor and Description |
---|
KilledChecker(Killed k)
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(KillVM a)
Notify for the beginning of an action.
|
consume, consume, start, start, start, start, startRunningVMPlacement
public KilledChecker(Killed k)
k
- the associated constraintpublic boolean start(KillVM a)
SatConstraintChecker
start
in interface SatConstraintChecker<Killed>
start
in class DenyMyVMsActions<Killed>
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<Killed>
endsWith
in class AllowAllConstraintChecker<Killed>
mo
- the modeltrue
iff the model is valid wrt. the constraintCopyright © 2015 University of Nice-Sophia Antipolis. All Rights Reserved.