(self, k)
return And(res)
Unrolling of the transition relation from 0 to k:

        E.g. T(0,1) & T(1,2) & ... & T(k-1,k)
Unrolling of the transition relation from 0 to k:
Unrolling of the transition relation from 0 to k :
def get_unrolling(self, k):
        """Unrolling of the transition relation from 0 to k:

        E.g. T(0,1) & T(1,2) & ... & T(k-1,k)
        """
        res = []
        for i in range(k+1):
            subs_i = self.get_subs(i)
            res.append(self.system.trans.substitute(subs_i))
        return And(res)
def get_unrolling ( self , k ) : res = [ ] for i in range ( k + 1 ) : subs_i = self . get_subs ( i ) res . append ( self . system . trans . substitute ( subs_i ) ) return And ( res )