cs_symbol_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_SYMBOL_SET_HPP
#define CS_SYMBOL_SET_HPP

#include "cs_symbol_set_decl.hpp"
#include "cs_point_set_decl.hpp"

namespace cs{
    inline point_set set_mixin<symbol_set>::used_points() const
    {
        cs_pdg_vertex_set rv;
        check(cs_abs_loc_set_used_vertices(unwrap(), &rv));
        return cglue<point_set>::wrap(rv, false);
    }
    
    inline point_set set_mixin<symbol_set>::killed_points() const
    {
        cs_pdg_vertex_set rv;
        check(cs_abs_loc_set_killed_vertices(unwrap(), &rv));
        return cglue<point_set>::wrap(rv, false);
    }
    
    inline point_set set_mixin<symbol_set>::cond_killed_points() const
    {
        cs_pdg_vertex_set rv;
        check(cs_abs_loc_set_cond_killed_vertices(unwrap(), &rv));
        return cglue<point_set>::wrap(rv, false);
    }
    
    inline point_set set_mixin<symbol_set>::may_killed_points() const
    {
        cs_pdg_vertex_set rv;
        check(cs_abs_loc_set_may_killed_vertices(unwrap(), &rv));
        return cglue<point_set>::wrap(rv, false);
    }
    inline symbol_set cglue<symbol_set>::wrap(const cs_abs_loc_set &c, bool frozen)
    { return symbol_set(c, frozen); }

    inline cs_abs_loc_set cglue<symbol_set>::unwrap(const symbol_set &c)
    { return c.unwrap(); }
}

#endif /* CS_SYMBOL_SET_HPP */