(self)
Returns the type of variables: either INT or BV depending on the
        use_bv flag of the constructor
Returns the type of variables: either INT or BV depending on the
        use_bv flag of the constructor
Returns the type of variables : either INT or BV depending on the use_bv flag of the constructor
def get_type(self):
        """Returns the type of variables: either INT or BV depending on the
        use_bv flag of the constructor
        """
        if self.use_bv:
            return typing.BVType(self.bv_size)
        else:
            return typing.INT
def get_type ( self ) : if self . use_bv : return typing . BVType ( self . bv_size ) else : return typing . INT