pragma Strict
import QtQml
QtObject {
id: self
property int i: 0
property Planner planner: null
function satisfy(mark: int) {
planner.addPropagate(mark);
i = +mark;
}