@classmethod
def Satisfies(cls, counter_values, update_instructions):
    """Return C{True} iff the counter values satisfy the update
        instructions.

        @param counter_values: A map from L{CounterCondition} to
        integer counter values

        @param update_instructions: A set of L{UpdateInstruction}
        instances

        @return: C{True} iff all instructions are satisfied by the
        values and limits."""
    for psi in update_instructions:
        if not psi.satisfiedBy(counter_values):
            return False
    return True
