cs_cfg_edge.hpp

Go to the documentation of this file.

/*
 *      Copyright (c) 2023, an unpublished work by CodeSecure, Inc.
 *                      ALL RIGHTS RESERVED
 *
 *      Copyright (c) 2013-2023, an unpublished work by GrammaTech, Inc.
 *                      ALL RIGHTS RESERVED
 *
 *      This software is furnished under a license and may be used and
 *      copied only in accordance with the terms of such license and the
 *      inclusion of the above copyright notice.  This software or any
 *      other copies thereof may not be provided or otherwise made
 *      available to any other person.  Title to and ownership of the
 *      software is retained by CodeSecure, Inc.
 */

#ifndef CS_CFG_EDGE_HPP
#define CS_CFG_EDGE_HPP

#include "cs_cfg_edge_fwd.hpp"
#include "cs_point_decl.hpp"
#include "cs_edge_label.hpp"

namespace cs{
    inline cfg_edge cglue<cfg_edge>::wrap(const cs_cfg_edge &c)
    { 
        return cfg_edge(
            cglue<point>::wrap(c.sv), 
            cglue<edge_label>::wrap(c.lbl));
    }
    inline cs_cfg_edge cglue<cfg_edge>::unwrap(const cfg_edge &c)
    { 
        cs_cfg_edge rv;
        rv.sv = cglue<point>::unwrap(c.first);
        rv.lbl = cglue<edge_label>::unwrap(c.second);
        return rv;
    }
}

#endif /* CS_CFG_EDGE_HPP */