(self)
Register basic global types within the TypeManager.
Register basic global types within the TypeManager.
Register basic global types within the TypeManager .
def load_global_types(self):
        """Register basic global types within the TypeManager."""
        for bvtype in (BV1, BV8, BV16, BV32, BV64, BV128):
            self._bv_types[bvtype.width] = bvtype
        self._array_types[(INT, INT)] = ARRAY_INT_INT
        self._bool = BOOL
        self._real = REAL
        self._int = INT
        self._string = STRING
def load_global_types ( self ) : for bvtype in ( BV1 , BV8 , BV16 , BV32 , BV64 , BV128 ) : self . _bv_types [ bvtype . width ] = bvtype self . _array_types [ ( INT , INT ) ] = ARRAY_INT_INT self . _bool = BOOL self . _real = REAL self . _int = INT self . _string = STRING