Lines Matching refs:given
389 * Mark the input variable with the given mark.
542 * Add the given constraint to the set of all constraints that refer
569 * Attempt to satisfy the given constraint and, if successful,
590 * Entry point for retracting a constraint. Remove the given
592 * Details: Retracting the given constraint may allow some currently
624 * Extract a plan for resatisfaction starting from the given source
659 * given constraints, usually a set of input constraints.
674 * downstream of the given constraint and recompute the actual
676 * detected, remove the given constraint and answer
679 * encountered downstream of the given constraint. The sender is
680 * assumed to have marked the inputs of the given constraint with
681 * the given mark. Thus, encountering a marked node downstream of
703 * downstream of the given constraint. Answer a collection of
