cs_int_pair_set.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_INT_PAIR_SET_HPP
#define CS_INT_PAIR_SET_HPP

#include "cs_int_pair_set_decl.hpp"
#include "cs_point_set_decl.hpp"
#include "cs_sfileinst_decl.hpp"

namespace cs{
    inline point_set set_mixin<int_pair_set>::to_point_set(sfileinst sfi) const
    {
        cs_pdg_vertex_set rv;
        check(cs_int_pair_set_to_pdg_vertex_set(cglue<sfileinst>::unwrap(sfi), 
                                                unwrap(), &rv));
        return cglue<point_set>::wrap(rv, false);
    }
}

#endif /* CS_INT_PAIR_SET_HPP */