Lines Matching refs:satisfied
164 * Assume: I am not already satisfied.
209 this.satisfied = false;
220 this.satisfied = false;
224 * Decides if this constraint can be satisfied and records that
228 this.satisfied = (this.myOutput.mark != mark)
233 * Returns true if this constraint is satisfied in the current solution.
236 return this.satisfied;
253 * this constraint is satisfied.
265 this.satisfied = false;
274 this.satisfied = false;
283 * Planners may exploit the fact that instances, if satisfied, will not
346 * Decides if this constraint can be satisfied and which way it
382 * Answer true if this constraint is satisfied in the current solution.
412 * constraint. Assume this constraint is satisfied.
479 * Enforce this constraint. Assume that it is satisfied.
492 * this constraint is satisfied.
515 * Enforce this constraint. Assume that it is satisfied.
576 * is too weak to be satisfied using any of its methods. The
593 * unsatisfiable downstream constraint to be satisfied. We therefore collect
598 * Assume: c is satisfied.
640 * Assume: sources are all satisfied.