JCDT/JCDT_Lib/internal/util/set.h
inline Symbol* Image(Symbol* symbol)
    {
        assert(symbol);

        unsigned k = symbol -> Identity() -> index % hash_size;
        for (Element* element = base[k]; element; element = element -> next)
        {
            if (element -> domain_element == symbol)
                return element -> image;
        }
        return NULL;
    }
//
// Has symbol been mapped to an image, yet? If so, return the image.
//
Has symbol been mapped to an image, yet. If so, return the image.
Has symbol been mapped to an image yet . If so return the image .
inline Symbol* Image(Symbol* symbol)
    {
        assert(symbol);
        unsigned k = symbol -> Identity() -> index % hash_size;
        for (Element* element = base[k]; element; element = element -> next)
        {
            if (element -> domain_element == symbol)
                return element -> image;
        }
        return NULL;
    }
inline Symbol * Image ( Symbol * symbol ) { assert ( symbol ) ; unsigned k = symbol -> Identity ( ) -> index % hash_size ; for ( Element * element = base [ k ] ; element ; element = element -> next ) { if ( element -> domain_element == symbol ) return element -> image ; } return NULL ; }
Has symbol been mapped to an image, yet?
Has symbol been mapped to an image yet?