angr/state_plugins/history.py
def count(self, v):
        """
        Count occurrences of value v in the entire history. Note that the subclass must implement the __reversed__
        method, otherwise an exception will be thrown.
        :param object v: The value to look for
        :return: The number of occurrences
        :rtype: int
        """
        ctr = 0
        for item in reversed(self):
            if item == v:
                ctr += 1
        return ctr

        Count occurrences of value v in the entire history. Note that the subclass must implement the __reversed__
        method, otherwise an exception will be thrown.
        :param object v: The value to look for
        :return: The number of occurrences
        :rtype: int
        
Count occurrences of value v in the entire history. Note that the subclass must implement the __reversed
method, otherwise an exception will be thrown.
Count occurrences of value v in the entire history . Note that the subclass must implement the __reversed method otherwise an exception will be thrown .
def count(self, v):
        ctr = 0
        for item in reversed(self):
            if item == v:
                ctr += 1
        return ctr
def count ( self , v ) : ctr = 0 for item in reversed ( self ) : if item == v : ctr += 1 return ctr
Count occurrences of value v in the entire history.
Count occurrences of value v in the entire history .
"""
        Count occurrences of value v in the entire history. Note that the subclass must implement the __reversed__
        method, otherwise an exception will be thrown.
        :param object v: The value to look for
        :return: The number of occurrences
        :rtype: int
        """
The number of occurrences
The number of occurrences
int
self
v
The value to look for
The value to look for