cs_cfg_edge_fwd.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_FWD_HPP
#define CS_CFG_EDGE_FWD_HPP

#include "cs_cfg_edge_set.h"
#include "cs_point_fwd.hpp"
#include "cs_edge_label.hpp"

namespace cs{
    template<>
    class cglue<cfg_edge>
    {
        cglue();
        friend class immutable_set<cfg_edge>;
        friend class iterator_adapter<set_iterator_policy<cfg_edge> >;
        friend class set_impl<cfg_edge>;
        friend class set_iterator_policy<cfg_edge>;
    public:
        typedef cfg_edge type;
        typedef cs_cfg_edge ctype;
    CS_CXX_API_CGLUE_ACCESS_MODIFIER:
        static cfg_edge wrap(const cs_cfg_edge &c);
        static cs_cfg_edge unwrap(const cfg_edge &c);
    };
}

#endif /* CS_CFG_EDGE_FWD_HPP */