Lines Matching refs:satisfied
170 * Assume: I am not already satisfied.
215 this.satisfied = false;
226 this.satisfied = false;
230 * Decides if this constraint can be satisfied and records that
234 this.satisfied = (this.myOutput.mark != mark)
239 * Returns true if this constraint is satisfied in the current solution.
242 return this.satisfied;
259 * this constraint is satisfied.
271 this.satisfied = false;
280 this.satisfied = false;
289 * Planners may exploit the fact that instances, if satisfied, will not
352 * Decides if this constratint can be satisfied and which way it
388 * Answer true if this constraint is satisfied in the current solution.
418 * constraint. Assume this constraint is satisfied.
485 * Enforce this constraint. Assume that it is satisfied.
498 * this constraint is satisfied.
521 * Enforce this constraint. Assume that it is satisfied.
582 * is too weak to be satisfied using any of its methods. The
599 * unsatisfiable downstream constraint to be satisfied. We therefore collect
604 * Assume: c is satisfied.
646 * Assume: sources are all satisfied.
