Searched refs:planner (Results 1 – 1 of 1) sorted by relevance
165 planner.incrementalAdd(this);187 if (!planner.addPropagate(this, mark))194 if (this.isSatisfied()) planner.incrementalRemove(this);801 planner = new Planner();819 var plan = planner.extractPlanFromConstraints(edits);835 planner = new Planner();869 var plan = planner.extractPlanFromConstraints(edits);878 var planner = null; variable