View all bitarray analysis

How to use the bitarray.bitarray.any function in bitarray

To help you get started, we’ve selected a few bitarray examples, based on popular ways it is used in public projects.

Secure your code as it's written. Use Snyk Code to scan source code in minutes - no build needed - and fix issues immediately.

mvcisback / py-metric-temporal-logic / mtl / fastboolean_eval.py View on Github

def temporal_op(mtl, lo, hi, conjunction=False):
    fold = bitarray.all if conjunction else bitarray.any
    f = pointwise_satf(mtl.arg)

    def sat_comp(x, t):
        return bitarray(fold(f(x, get_times(x, tau, lo, hi))) for tau in t)

    return sat_comp